Andere Kunden interessierten sich auch für
![Formal Methods for Industrial Critical Systems]( "Formal Methods for Industrial Critical Systems")
Formal Methods for Industrial Critical Systems36,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![NASA Formal Methods]( "NASA Formal Methods")
NASA Formal Methods37,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification75,99 €![Dependable Software Engineering: Theories, Tools, and Applications]( "Dependable Software Engineering: Theories, Tools, and Applications")
Dependable Software Engineering: Theories, Tools, and Applications36,99 €![Application and Theory of Petri Nets and Concurrency]( "Application and Theory of Petri Nets and Concurrency")
Application and Theory of Petri Nets and Concurrency37,99 €
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.