RT @davidebasile: presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case o…
42 followers
42 followers
22 followers
Alessandro presenting the paper entitled "The 4SECURail Case Study on Rigorous Standard Interface Specifications" at @FMICS_conf https://t.co/QEWwacEPXI https://t.co/2cD8wymuTj
22 followers
RT @davidebasile: presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case o…