Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Hasan, Osman (HerausgeberIn), Mallet, Frédéric (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer International Publishing 2020 Cham Springer
Ausgabe:	1st ed. 2020
Schriftenreihe:	Communications in Computer and Information Science 1165
Schlagworte:	Theory of Computation Computer Communication Networks Logic in AI. Special Purpose and Application-Based Systems Control Structures and Microprogramming Simulation and Modeling Computers Computer communication systems Artificial intelligence Computer logic Special purpose computers Microprogramming Computer simulation Mikroprogrammierung Computersimulation Künstliche Intelligenz
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	1 Online-Ressource (VIII, 141 p. 81 illus., 23 illus. in color)
ISBN:	9783030469023
ISSN:	1865-0929
DOI:	10.1007/978-3-030-46902-3

Ähnliche Einträge