Caricamento in corso...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli
Profili
Il mio profilo
La mia biblioteca
Metriche
Avvisi
Impostazioni
Accedi
Accedi
Profili
Il mio profilo
La mia biblioteca
Kristin Y. Rozier
NASA
Email verificata su nasa.gov
Citato da 2146
formal verification of safety-critical systems
Privacy
Termini
Guida
Informazioni su Scholar
Guida della Ricerca