DeepSTL - From English Requirements to Signal Temporal Logic

Jie He, Ezio Bartocci, Dejan Nickovic (Vortragende:r), Haris Isakovic, Radu Grosu

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
Titel44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022
Seiten610-622
Seitenumfang13
DOIs
PublikationsstatusVeröffentlicht - 2022
VeranstaltungICSE'22 -
Dauer: 25 Mai 202227 Mai 2022

Konferenz

KonferenzICSE'22
Zeitraum25/05/2227/05/22

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren