An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems

BibTex:
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


@conference{BFLS00-EFTS00-69, author = "Bondavalli, Andrea and A. Fantechi and D. Latella and L. Simoncini", address = "Washington DC", booktitle = "IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00)", month = "September 21-22", title = "{A}n {I}ntegrated and {C}ompositional {A}pproach to {D}esign {V}alidation of {E}mbedded {D}ependable {S}ystems", year = "2000", }