Exploració per altres contribucions "Garoche, Pierre-Loc"
Ara es mostren els items 1-1 de 1
-
Combining two formal methods of the static analyses
(Universitat Politècnica de Catalunya, 2012-06-19)
Projecte Final de Màster Oficial
Accés obert[ANGLÈS] Given the background in software and hardware evolution over the years as well as the demand of accurate information in different industrial areas as aeronautics, nuclear and medical is how this Master thesis born. ...