Formal methods for components and objects: 7th international symposium, FMCO 2008, Sophia An…
by Boer, Frank S. de, Bonsangue, Marcello M., Madelaine, Eric, FMCO, Sophia Antipolis, FMCO, Sophia Antipolis, France), International Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France)
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been appli…
Annotation
Leveraging applications of formal methods, verification and validation: 4th International Symposium on Leveragings, ISoLA…
by Margaria-Steffen, Tiziana, Steffen, Bernhard, International Symposium on Leveraging Applications, ISoLA, Heraklion, Crete, Greece), ISoLA 2010, Heraklion, Crete, Greece)
fromLecture Notes in Computer Science
Annotation The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were c…
Formal methods for industrial critical systems: 16th international workshop, FMICS 2011, Trento, …
by Salaün, G., (Gwen), International Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy), Schätz, Bernhard
fromLNCS sublibrary. SL 2, Programming and software engineering
Formal methods for industrial critical systems: 16th international workshop, FMICS 2011, Trento, …
by Salaün, G., (Gwen), International Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy), Schätz, Bernhard
fromLNCS sublibrary. SL 2, Programming and software engineering
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submi…