Critical systems: formal methods and automated verification: joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017 : proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FMICS-AVoCS Turin (VerfasserIn)
Weitere Verfasser: Petrucci, Laure (HerausgeberIn), Seceleanu, Cristina (HerausgeberIn), Cavalcanti, Ana (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham Springer [2017]
Schriftenreihe:Lecture Notes in Computer Science 10471
Schlagworte:
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Beschreibung:1 Online-Ressource (XIV, 235 Seiten) Illustrationen
ISBN:9783319671130
ISSN:0302-9743
DOI:10.1007/978-3-319-67113-0