28th International Conference on Formal Methods for Industrial Critical Systems
Antwerp, Belgium
Joined October 2022
- Tweets29
- Following123
- Followers54
- Likes9
The Proceedings of FMICS2024 are online:
link.springer.com/book/10.10…
2
40
FMICS 2023 retweeted
presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" at @FMICS_conf
doi.org/10.1007/978-3-031-43…
youtu.be/2FqSeTWvVrk
FMICS 2023 retweeted
Alessandro presenting the paper entitled "The 4SECURail Case Study on Rigorous Standard Interface Specifications" at @FMICS_conf
doi.org/10.1007/978-3-031-43…
@FMICS_conf is over! Thanks to all the participants, authors, keynote speakers, PC members, and chairs!
See you next year!
@FMICS_conf Best paper award:
Djurre van der Wal, Marcus Gerhold and Marielle Stoelinga
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
2
107
Imran Riaz Hasrat presenting his paper Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
1
57
Great talk by Reza Soltani on Optimal spare management via statistical model checking at @FMICS_conf
2
83
