Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods for Industrial Critical Systems : A Survey of Applications

Formal Methods for Industrial Critical Systems : A Survey of Applications

by Stefania Gnesi, Tiziana Margaria Paperback 2012

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Stefania Gnesi, Tiziana Margaria
  • ISBN 13: 9780470876183
  • ISBN 10: 0470876182
  • Publication Year: 2012
  • Language: English

Specifications

Index-100470876182
LanguageEnglish
Index-139780470876183
Period-
Class Track-
Publisher- (2012)
Pages-

✨ Readers also enjoyed...

View All →
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B,…

John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel

Inquire
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and

Critical Systems: Formal Methods a…

Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp

Inquire
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

FM 2016: Formal Methods : 21st Int…

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

Inquire
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held As Part of the European Joint Conferences on Theory an

Fundamental Approaches to Software…

Stefania Gnesi, Arend Rensink

Inquire
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods : 9th In…

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne

Inquire