Del 13487
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
AvMarieke Huisman,Jan Friso Groote
E-bok
Engelska, 2022978 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad, 2024
1 982 kr
Logic Gates, Circuits, Processors, Compilers and Computers
Adam Watkins, Julien Schmaltz, Rolf Morel, Jan Friso Groote
E-bok
2021537 kr
Understanding Behaviour of Distributed Systems Using mCRL2
Jan Friso Groote, Muhammad Atif
E-bok
20232 551 kr
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad, 2021
424 kr
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden, 2023
1 982 kr
Modeling and Analysis of Communicating Systems
Jan Friso Groote, Mohammad Reza Mousavi
Häftad, 2023
768 kr