2003
Journal article
Open Access
Model checking of embedded systems
Gnesi S.
Model Checking Embedded Systems
The integration of different dependability techniques is an open research question. We address problems that arise when attempting to combine fault tolerance mechanisms with formal methods and formal verification tools in the development of an embedded system.
Source: ERCIM news 52 (2003): 37–38.
Publisher: ERCIM., Le Chesnay
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:68267,
title = {Model checking of embedded systems},
author = {Gnesi S.},
publisher = {ERCIM., Le Chesnay},
journal = {ERCIM news},
volume = {52},
pages = {37–38},
year = {2003}
}CNR authorsLaboratories
0000-0002-0139-0421