Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FORMATS (VerfasserIn)
Weitere Verfasser:	Petrucci, Laure (HerausgeberIn), Sproston, Jeremy (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2023
Schriftenreihe:	Lecture notes in computer science 14138
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!