From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: From Reactive Systems to Cyber-Physical Systems (VerfasserIn)
Weitere Verfasser: Smolka, Scott A. (GefeierteR), Bartocci, Ezio (HerausgeberIn), Cleaveland, Rance (HerausgeberIn), Grosu, Radu (HerausgeberIn), Sokolsky, Oleg (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham, Switzerland Springer 2019
Schriftenreihe:Lecture notes in computer science 11500
Schlagworte:
System analysis > Data processing > Formal methods (Computer science) > Computer simulation > Machine learning > Human-computer interaction > Konferenzschrift > Systemanalyse > Computersimulation > Maschinelles Lernen
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!