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

Gespeichert in:
Hauptverfasser:
Hasan, Osman (HerausgeberIn), Mallet, Frédéric (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2020
Ausgabe:
1st ed. 2020
Umfang:
1 Online-Ressource (VIII, 141 p. 81 illus., 23 illus. in color)
text file PDF
Schriftenreihe:
Communications in Computer and Information Science
ISBN:
9783030469023
ISSN:
1865-0929
DOI:
10.1007/978-3-030-46902-3
Schlagworte:
Computers
Computer communication systems
Artificial intelligence
Computer logic
Special purpose computers
Microprogramming 
Computer simulation
Bezugswerke:
Links: