Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010: proceedings / eds. S. Kowalewski, M. Roveri, 2010 r=on-line. - Текст : электронный.
Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the joint european conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009: proceedings / D. Hutchison [et al.], 2009 r=on-line. - Текст : электронный.