2001
Journal article
Unknown
Design validation of embedded dependable systems
Bondavalli A., Fantechi A., Latella D., Simoncini L.
Dependable system design Formal verification
Embedded complex systems require an integrated and best-balanced set of components. to use these components requires some sort of verifiable compositionality, a concept that implies the preservation of properties and the ability to verify them.
Source: IEEE MICRO 21 (2001): 52–62.
Publisher: IEEE Computer Society,, [Los Alamitos, CA] , Stati Uniti d'America
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:43929,
title = {Design validation of embedded dependable systems},
author = {Bondavalli A. and Fantechi A. and Latella D. and Simoncini L.},
publisher = {IEEE Computer Society,, [Los Alamitos, CA] , Stati Uniti d'America},
journal = {IEEE MICRO},
volume = {21},
pages = {52–62},
year = {2001}
}
0000-0001-7366-6530CNR ExploRA