Preface: Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

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

8 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
PagesV
ISBN (Electronic)978-3-031-15008-1
Publication statusPublished - 5 Sep 2022
Event27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 - Warsaw, Poland
Duration: 14 Sep 202215 Sep 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