Stefania Gnesi

Livres
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012
Requirements Engineering: Foundation for Software Quality Requirements Engineering: Foundation for Software Quality
Requirements Engineering: Foundation for Software Quality
2020
FM 2016: Formal Methods FM 2016: Formal Methods
FM 2016: Formal Methods
2016
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2016
FME 2003: Formal Methods FME 2003: Formal Methods
FME 2003: Formal Methods
2003