I agree that this site is using cookies. You can find further informations here.
X
Rauzy, Antoine
2  results:
E-Books X
Search for persons X
?
1

Model-Based Safety and Assessment 

4th International Symposium, IMBSA 2014, Munich, Germany, O...  Lecture Notes in Computer Science ; 8822;SpringerLink, Bücher
Ortmeier, Frank ; Rauzy, Antoine , 2014
Link: https://doi.org/10.1007/..
 
?
2

Static Analysis 

Third International Workshop, WSA '93, Padova, Italy, Septe...  Lecture Notes in Computer Science ; 724;SpringerLink, Bücher
Cousot, Patrick ; Filè, Gilberto ; Rauzy, Antoine. , 1993
Link: https://doi.org/10.1007/..
 
1-2