Stefania Gnesi
Stefania Gnesi
5 ספרים במאגר
ספרים
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
Formal Methods for Industrial Critical SystemsStefania Gnesi
Formal Methods for Industrial Critical Systems
Stefania Gnesi · 2012
ספרים משותפים ואוספים
ספרים שבהם Stefania Gnesi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Formal methodsKeijiro Araki
Formal methods
Keijiro Araki · 2003
Critical Systems : Formal Methods and Automated VerificationMaurice H. Ter Beek
Critical Systems : Formal Methods and Automated Verification
Maurice H. Ter Beek · 2016
FM 2016 : Formal MethodsJohn Fitzgerald
FM 2016 : Formal Methods
John Fitzgerald · 2016