Data di Pubblicazione:
2014
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Model Checking; Formal Verification
Elenco autori:
Tingting, Hu; CIBRARIO BERTOLOTTI, Ivan
Link alla scheda completa:
Titolo del libro:
Digital Avionics Handbook