(1 - 13 from 25
)
Report on the 15th ERCIM Formal Methods for Industrial Critical ...
www.ercim.eu
Alessandro Fantechi for the paper “The Metrô Rio ATP Case Study” (http://www.springerlink.com/content/vh0734j73j8q5002/), written together with Alessio Ferrari, Daniele Grasso, Gianluca Magnani, and ...
ERCIM has celebrated its 20th Anniversary
www.ercim.eu
Alessandro Fantechi (University of Florence and ISTI-CNR) gave a presentation on the Formal Methods for Industrial Critical Systems (FMICS) Working Group as an example of an ERCIM success ...
FMICS Fmics2013/Programme
lvl.info.ucl.ac.be
(jointly with FM-RAIL-BOK). Twenty-Five Years of Formal Methods and Railways: What Next? -- Alessandro Fantechi, Università di Firenze ...
Formal Methods for Intelligent Transportation Systems - A track at...
ercim-news.ercim.eu
ERCIM News, the quarterly magazine of the European Research Consortium for Informatics and Mathematics
sorted by relevance / date