Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

55 Downloads (Pure)
Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publication27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
PublisherSpringer
PagesV
ISBN (Electronic)978-3-031-15008-1
ISBN (Print)978-3-031-15007-4
Publication statusAccepted/In press - 15 Sept 2022
Event27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 - Warsaw, Poland
Duration: 14 Sept 202215 Sept 2022
Conference number: 27

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume13487
ISSN (Print)0302-9743

Conference

Conference27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022
Abbreviated titleFMICS 2022
Country/TerritoryPoland
CityWarsaw
Period14/09/2215/09/22

Cite this