Risultati finali
output of task 2.1
System Technical Descriptionoutput of Task 1.1
Plan for Software Aspects of Certificationoutput of task 3.1
output of tasks 2.6 - 2.7
Test Equipmentoutput of task 1.5
SW Accomplishmentoutput of task 3.3 - 3.5 - 3.7
Pubblicazioni
Autori:
Roberto Senatore, Diego Orsini, Fabrizio D'Angelo, Andrea Pizzarulli, Danilo Durante, Massimo Verola, Mike Perlmutter
Pubblicato in:
2016 DGON Intertial Sensors and Systems (ISS), 2016, Pagina/e 1-18, ISBN 978-1-5090-2515-2
Editore:
IEEE
DOI:
10.1109/InertialSensors.2016.7745666
Autori:
Roberto Senatore, Andrea Pizzarulli, Danilo Durante,
Massimo Verola, Mike Perlmutter
Pubblicato in:
2017
Editore:
MCLab Model Checking Laboratory - Rome University La Sapienza
Autori:
D. Grifi, R. Senatore, E. Quatraro, M. Verola, A. Pizzarulli
Pubblicato in:
Numero 978-1-5386-3962-7/17, 2017
Editore:
IEEE
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile