The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2001 vol.21)
pp: 52-62
ABSTRACT
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, September/October 2001, doi:10.1109/40.958699
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool