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…
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
Imran Riaz Hasrat presenting his paper Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
Aziz Sfar presenting his work on Testing Logical Diagrams in power plants at @fmics2023
Great talk by Reza Soltani on Optimal spare management via statistical model checking at @FMICS_conf
Chris Johannsen presenting his work on encoding temporal specifications at @FMICS_conf
