Search Results
Search results: 3
-
Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings (Lecture Notes in Computer Science #10875)
This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in Ghent, Belgium, in June 2018.The 10 regular papers presented in this book were carefully reviewed and selected from a t... More
Language: ENGCopyright: 2018 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020