𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Bertin, V.; Poize, M.; Pulou, J.; Sifakis, J.

Book ID: 126660642
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 326 KB
Category: Article
ISBN-13: 9780769507347
DOI: 10.1109/EMRTS.2000.854003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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 - Clock synchronization for wireless local area networks

✍ Mock, M.; Frings, R.; Nett, E.; Trikaliotis, S. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 271 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

[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 - Modelling and analysis of a commercial field bus protocol

✍ David, A.; Wang Yi, 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 233 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 - Designing for schedulability: integrating schedulability analysis with object-oriented design

✍ Saksena, M.; Karvelas, P. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 256 KB