Data di Pubblicazione:
2011
Abstract:
Il model checking ha dimostrato di essere una tecnologia di successo per verificare la correttezza dei requisiti nella progettazione di un consistente numero di sistemi real-time, embedded e safety-critical. Lo scopo di questo breve articolo è di spiegare come funziona.
Tipologia CRIS:
01.01 Articolo in rivista
Elenco autori:
Gnesi, Stefania
Link alla scheda completa:
Pubblicato in: