Modeling reactive systems in Java

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Passerone, Claudio, Passerone, Roberto, Sansoè, Claudio, Martin, Jonathan, Sangiovanni-Vincentelli, Alberto, McGeer, Rick
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer systems organization > Embedded and cyber-physical systems Computer systems organization > Real-time systems Computing methodologies > Modeling and simulation > Model development and analysis > Modeling methodologies Software and its engineering > Software notations and tools > General programming languages > Language types
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
DOI:	10.5555/278241.278244