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
	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}