Cover von Formal Methods for Industrial Critical Systems opens in new tab

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30 - 31, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11687
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 11687 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Formal Methods for Industrial Critical Systems <24, 2019, Amsterdam>

Details

Search for this author
Year: 2019
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-03-027007-0
ISBN (2nd): 3-03-027007-6
Description: XIII, 159 S.
Series: Lecture notes in computer science; 11687
Participating parties: Search for this character Larsen, Kim Guldstrand; Willemse, Tim A. C.
Media group: MONOGRAPHIE