Sciweavers

10669 search results - page 37 / 2134
» Software - Implemented Self-healing System
Sort
View
94
Voted
AMAST
2004
Springer
15 years 9 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre
PSSE
2004
Springer
15 years 9 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph