Formal Methods for Industrial Critical Systems View on Open Library

Formal Methods for Industrial Critical Systems

by Stefania Gnesi , Tiziana Margaria

No reviews yet
First published: 2012 1 language ISBN: 9781118459898

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Stefania Gnesi

Proceedings of the 18th International Software Product Line Conference

Proceedings of the 18th International So...

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engin...

Critical Systems : Formal Methods and Automated Verification

Critical Systems : Formal Methods and Au...

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

Proceedings of the 2nd FME Workshop on F...

Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems

Proceedings of the Seventh International...

FM 2016 : Formal Methods

FM 2016 : Formal Methods