FMICS 2023 (@FMICS_conf) header
FMICS 2023 (@FMICS_conf) profile picture

FMICS 2023

@FMICS_conf

28th International Conference on Formal Methods for Industrial Critical Systems

 Antwerp, Belgium
Joined October 2022
  • Tweets29
  • Following123
  • Followers54
13Media
Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)Photo by FMICS 2023 (@FMICS_conf)
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
Image from Davide Basile (@davidebasile)
2
2
284
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…
Image from FMT Lab ISTI CNR (@fmt_lab)
1
2
154
CONFEST social dinner @FMICS_conf
Image from Laura Titolo (@laura_titolo)
1
7
258
Replying to @FMICS_conf
@FMICS_conf day 2 Alessandro is chairing the session
Image from FMT Lab ISTI CNR (@fmt_lab)
2
1
118
Load more