Dorigatti, Michele
Dorigatti, Michele
ES
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case
2014-01-01 Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano
OCRA: A tool for checking the refinement of temporal contracts
2013-01-01 Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case | 1-gen-2014 | Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano | |
OCRA: A tool for checking the refinement of temporal contracts | 1-gen-2013 | Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano | |
The nuXmv Symbolic Model Checker | 1-gen-2014 | Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano |