Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
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
Risultati:
1-1
|