An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems
Research Area: | Uncategorized | Year: | 2000 | ||
---|---|---|---|---|---|
Type of Publication: | In Proceedings | ||||
Authors: | Andrea Bondavalli; A. Fantechi; D. Latella; L. Simoncini | ||||
Book title: | IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00) | ||||
Address: | Washington DC | ||||
Month: | September 21-22 | ||||
BibTex: |
|||||