2011
Journal article
Restricted
Model Checking : cos'è e come si applica
Alessandro Fantechi, Stefania Gnesi
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.
Source: Mondo Digitale 38-39 (2011): 29–38.
Publisher: [s.n.], Milano , Italia
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:199965,
title = {Model Checking : cos'è e come si applica},
author = {Alessandro Fantechi and Stefania Gnesi},
publisher = {[s.n.], Milano , Italia},
year = {2011}
}CNR authorsLaboratories
0000-0002-0139-0421