Formal Methods for Industrial Critical Systems

Jan Friso Groote; Marieke Huisman

Formal Methods for Industrial Critical Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

81 Downloads (Pure)

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Subtitle of host publication	27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Publisher	Springer
Pages	V
ISBN (Electronic)	978-3-031-15008-1
ISBN (Print)	978-3-031-15007-4
Publication status	Accepted/In press - 15 Sept 2022
Event	27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022 - Warsaw, Poland Duration: 14 Sept 2022 → 15 Sept 2022 Conference number: 27

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	13487
ISSN (Print)	0302-9743

Conference

Conference	27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022
Abbreviated title	FMICS 2022
Country/Territory	Poland
City	Warsaw
Period	14/09/22 → 15/09/22

Access to Document

1Final published version, 92.6 KB

Cite this

Groote, J. F., & Huisman, M. (Accepted/In press). Formal Methods for Industrial Critical Systems. In Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (pp. V). Article 13487 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13487). Springer.

Groote, Jan Friso ; Huisman, Marieke. / Formal Methods for Industrial Critical Systems. Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, 2022. pp. V (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d7423f4d5e884457aa02aacfd7021b96,

title = "Formal Methods for Industrial Critical Systems",

author = "Groote, {Jan Friso} and Marieke Huisman",

year = "2022",

month = sep,

day = "15",

language = "English",

isbn = "978-3-031-15007-4",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "V",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Germany",

note = "27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, FMICS 2022 ; Conference date: 14-09-2022 Through 15-09-2022",

}

Groote, JF & Huisman, M 2022, Formal Methods for Industrial Critical Systems. in Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings., 13487, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13487, Springer, pp. V, 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, Warsaw, Poland, 14/09/22.

Formal Methods for Industrial Critical Systems. / Groote, Jan Friso; Huisman, Marieke.
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, 2022. p. V 13487 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13487).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal Methods for Industrial Critical Systems

AU - Groote, Jan Friso

AU - Huisman, Marieke

N1 - Conference code: 27

PY - 2022/9/15

Y1 - 2022/9/15

UR - http://www.scopus.com/inward/record.url?scp=85137977197&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85137977197

SN - 978-3-031-15007-4

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - V

BT - Formal Methods for Industrial Critical Systems

PB - Springer

T2 - 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022

Y2 - 14 September 2022 through 15 September 2022

ER -

Groote JF, Huisman M. Formal Methods for Industrial Critical Systems. In Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer. 2022. p. V. 13487. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Formal Methods for Industrial Critical Systems

Publication series

Conference

Access to Document

Other files and links

Cite this