✦ LIBER ✦

[IEEE Comput. Soc Real-Time Systems Symposium - San Francisco, CA, USA (2-5 Dec. 1997)] Proceedings Real-Time Systems Symposium - A constraint-based approach for specification and verification of real-time systems

✍ Scribed by Gupta, G.; Pontelli, E.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Real-Time Systems Symp

✍ Lehoczky, J.P. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 975 KB

[IEEE Comput. Soc Real-Time Systems Symp

✍ Miyoshi, A.; Kitayama, T.; Tokuda, H. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 904 KB

[IEEE Comput. Soc Real-Time Systems Symp

✍ Bouajjani, A.; Tripakis, S.; Yovine, S. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 969 KB

[IEEE Comput. Soc Real-Time Systems Symp

✍ Li, C.; Bettati, R.; Zhao, W. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 1016 KB

[IEEE Comput. Soc Real-Time Systems Symp

✍ Clegg, M.; Marzullo, K. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 878 KB

[IEEE Comput. Soc. Press Twelfth Real-Ti

✍ Muntz, A.H.; Lichota, R.W. 📂 Article 📅 1991 🏛 IEEE Comput. Soc. Press ⚖ 797 KB