Logo des Repositoriums
 
Konferenzbeitrag

Triggers for Reactive Synthesis Specifications

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

modelling5.pdf (137.01 KB)

Zusatzinformation

Datum

2024

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Software Engineering 2024 (SE 2024)
Modelling

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Amram, Gal; Ma’ayan, Dor; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver (2024): Triggers for Reactive Synthesis Specifications. Software Engineering 2024 (SE 2024). DOI: 10.18420/sw2024_8. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-737-1. pp. 41-42. Modelling. Linz, Österreich. 26. Februar-1. März 2024

Schlagwörter

Zitierform

DOI

10.18420/sw2024_8

Tags

Sammlungen

P343 - Software Engineering 2024