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!

Beschreibung
Beschreibung:	"ISSN 1611-3349 (electronic)"--t.p. verso Includes bibliographical references and index
Beschreibung:	xvi, 298 pages illustrations (black and white) 24 cm
ISBN:	9783030315139 978-3-030-31513-9 3030315134 3-030-31513-4