Formal verification

Authors
Bernadeschi, C Fantechi, A Gnesi, S
Citation
C. Bernadeschi et al., Formal verification, GENERIC FAULT-TOLERANT ARCHITECTURE FOR REAL-TIME DEPENDABLE SYSTEMS, 2001, pp. 139-155
Categorie Soggetti
Current Book Contents
Journal title
GENERIC FAULT-TOLERANT ARCHITECTURE FOR REAL-TIME DEPENDABLE SYSTEMS → ACNP
Year of publication
2001
Pages
139 - 155
Database
ISI
SICI code