Publication Date:
2001
abstract:
An abstract is not available.
Iris type:
03.01 Monografia o trattato scientifico
Keywords:
Model ckecking; Software/Program Verification. Formal methods
List of contributors:
Fantechi, Alessandro; Gnesi, Stefania
Book title:
A Generic Fault-Tolerant Architecure for Real-Time Dependable Systems