(1 - 10 from 11
)
FMICS 2008
ercim-news.ercim.eu
Alessandro Fantechi. The 13th FMICS workshop was held in L'Aquila, Italy, on 15 and 16 September 2008, co-located with ASE 2008, the 23rd IEEE/ACM International Conference on Automated Software Engineering ...
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 ERCIM News
ercim-news.ercim.eu
Oct 16, — by Darren Cofer and Alessandro Fantechi. The 13th FMICS workshop was held in L'Aquila, Italy, on 15 and 16 September 2008, co-located with ... › content › view
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 ...
sorted by relevance / date