Sciweavers

15401 search results - page 87 / 3081
» Software in Automotive Systems
Sort
View
99
Voted
AMAST
2004
Springer
15 years 10 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre
PSSE
2004
Springer
15 years 10 months ago
Real-Time and Fault-Tolerant Systems
Zhiming Liu, Mathai Joseph