Stefania Gnesi

Identifiers

Open LibraryOL7871914A

Top Subjects

Computer science (1)

Books by Stefania Gnesi

Total count: 7

Formal Methods for Industrial Critical SystemsA Survey of Applications

IEEE Computer Society Press2012-01-01
Proceedings of the Seventh International Workshop on Variability Modelling of Software-Intensive Systems

Association for Computing Machinery2013-01-01
Fundamental Approaches to Software Engineering17th International Conference, FASE 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Springer London, Limited2014-01-01
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

Association for Computing Machinery2014-01-01
Proceedings of the 18th International Software Product Line Conference

Association for Computing Machinery2014-01-01
Critical Systems : Formal Methods and Automated VerificationJoint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Springer International Publishing AG2016-01-01
FM 2016 : Formal Methods21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Springer2016-11-08