𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 13th Euromicro Conference on Real-Time Systems - Delft, Netherlands (13-15 June 2001)] Proceedings 13th Euromicro Conference on Real-Time Systems - A new approach to the specification and verification of real-time systems

✍ Scribed by Logothetis, G.; Schneider, K.

Book ID: 120594242
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 812 KB
Category: Article
ISBN-13: 9780769512211
DOI: 10.1109/EMRTS.2001.934025

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 13th Euromicro Confere

[IEEE Comput. Soc 13th Euromicro Conference on Real-Time Systems - Delft, Netherlands (13-15 June 2001)] Proceedings 13th Euromicro Conference on Real-Time Systems - Timing analysis of reliable real-time communication in CAN networks

✍ Pinho, L.M.; Vasques, F. 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 1012 KB

[IEEE Comput. Soc 12th Euromicro Confere

[IEEE Comput. Soc 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Stockholm, Sweden (19-21 June 2000)] Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Towards validated real-time software

✍ Bertin, V.; Poize, M.; Pulou, J.; Sifakis, J. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 326 KB

[IEEE Comput. Soc 12th Euromicro Confere

[IEEE Comput. Soc 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Stockholm, Sweden (19-21 June 2000)] Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Prototyping distributed multimedia systems using communicating real-time state machines

✍ Fortino, G.; Nigro, L. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 297 KB

[IEEE Comput. Soc 12th Euromicro Confere

[IEEE Comput. Soc 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Stockholm, Sweden (19-21 June 2000)] Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - An adaptable security manager for real-time transactions

✍ Son, S.H.; Zimmerman, R.; Hansson, J. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 325 KB

[IEEE Comput. Soc 15th Euromicro Confere

[IEEE Comput. Soc 15th Euromicro Conference on Real-Time Systems. ECRTS 2003 - Porto, Portugal (2-4 July 2003)] 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. - Schedulability analysis for distributed heterogeneous time/event triggered real-time systems

✍ Pop, T.; Eles, P.; Peng, Z. 📂 Article 📅 2003 🏛 IEEE Comput. Soc 🌐 English ⚖ 285 KB

[IEEE Comput. Soc 12th Euromicro Confere

[IEEE Comput. Soc 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Stockholm, Sweden (19-21 June 2000)] Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Schedulability analysis for systems with data and control dependencies

✍ Pop, P.; Eles, P.; Zebo Peng, 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 200 KB