Formal Methods for Industrial Critical SystemsStefania Gnesi

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria · 2012

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2012
Language: English
Publisher: IEEE Computer Society Press
Editions: 5
Pages: 292
ISBN: 9781118459881

Data source: Wikidata

More by Stefania Gnesi

Fundamental Approaches to Software EngineeringStefania Gnesi

Fundamental Approaches to Software Engineering

Stefania Gnesi · 2014

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

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

Stefania Gnesi · 2014

Proceedings of the 18th International Software Product Line ConferenceStefania Gnesi

Proceedings of the 18th International Software Product Line Conference

Stefania Gnesi · 2014

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

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

Stefania Gnesi · 2013