This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design Validation of Embedded Dependable Systems
September/October 2001 (vol. 21 no. 5)
pp. 52-62
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.
Citation:
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini, "Design Validation of Embedded Dependable Systems," IEEE Micro, vol. 21, no. 5, pp. 52-62, Sept.-Oct. 2001, doi:10.1109/40.958699
Usage of this product signifies your acceptance of the Terms of Use.