3617513

Modeling Real-Time Systems

J. Sifakis

Verimag

2004

6/26/1905 12:00:00 AM

5

6

"Real time systems","Application software","System recovery","Java","Embedded system","Timing","Quality of service","Safety","Resource management","Dynamic scheduling"

ieee

Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International

1052-8725

0-7695-2247-5

conf

10.1109/REAL.2004.34

1381289