Formal verification

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
Year of publication
2001
Pages
139 - 155
Database
ISI
SICI code