Livros de Stefania Gnesi - BookPine

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

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

John Fitzgerald

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

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

Maurice H. ter Beek

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Maurice H. ter Beek

Formal Methods for Industrial Critical Systems: Summary of Application

Formal Methods for Industrial Critical Systems: Summary of Application

Stefania Gnesi

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... Computer Science and General Issues)

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... Computer Science and General Issues)

Stefania Gnesi

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... France, April 5-13, 2014, Proceedings

Stefania Gnesi

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Stefania Gnesi

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods for Industrial Critical Systems: A Survey of Applications

Stefania Gnesi

Abstract State Machines, Alloy, B, VDM, And Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012

Abstract State Machines, Alloy, B, VDM, And Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012

John Derrick

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Keijiro Araki

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods for Industrial Critical Systems: A Survey of Applications

Stefania Gnesi