Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FMICS Amsterdam (VerfasserIn)
Weitere Verfasser: Larsen, Kim Guldstrand 1957- (HerausgeberIn), Willemse, Tim A. C. 1974- (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2019]
Schriftenreihe:Lecture notes in computer science 11687 : Programming and software engineering
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-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Buchcover
Beschreibung:1 Online-Ressource (xv, 161 Seiten)
ISBN:9783030270087
DOI:10.1007/978-3-030-27008-7