Sciweavers

3389 search results - page 213 / 678
» Real-Time and Fault-Tolerant Systems
Sort
View
ISORC
1998
IEEE
15 years 10 months ago
Exception Handling in Object-Oriented Real-Time Distributed Systems
Alexander B. Romanovsky, Jie Xu, Brian Randell
FTRTFT
1998
Springer
15 years 10 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...