𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams

✍ Scribed by Ehlers, Rudiger; Fass, Daniel; Gerke, Michael; Peter, Hans-Jorg

Book ID: 120594303
Publisher: IEEE
Year: 2010
Weight: 337 KB
Category: Article
ISBN: 0769542980
DOI: 10.1109/RTSS.2010.36

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE 31st Real-Time Systems S

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Optimality Results for Multiprocessor Real-Time Locking

✍ Brandenburg, Bjorn B.; Anderson, James H. 📂 Article 📅 2010 🏛 IEEE ⚖ 319 KB

[IEEE 2010 IEEE 31st Real-Time Systems S

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - The Non-cyclic Recurring Real-Time Task Model

✍ Baruah, Sanjoy 📂 Article 📅 2010 🏛 IEEE ⚖ 257 KB

[IEEE 2010 IEEE 31st Real-Time Systems S

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Optimal Schedules for Sensor Network Queries

✍ Gopalakrishnan, Sathish 📂 Article 📅 2010 🏛 IEEE ⚖ 848 KB

[IEEE 2010 IEEE 31st Real-Time Systems S

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Optimizing Expected Time Utility in Cyber-Physical Systems Schedulers

✍ Tidwell, Terry; Glaubius, Robert; Gill, Christopher D.; Smart, William D. 📂 Article 📅 2010 🏛 IEEE ⚖ 416 KB

[IEEE 2010 IEEE 31st Real-Time Systems S

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Prolonging Sensor Network Lifetime Through Wireless Charging

✍ Peng, Yang; Li, Zi; Zhang, Wensheng; Qiao, Daji 📂 Article 📅 2010 🏛 IEEE ⚖ 416 KB

[IEEE 2010 IEEE 31st Real-Time Systems S

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

✍ Burns, A.; Littlewood, B. 📂 Article 📅 2010 🏛 IEEE ⚖ 180 KB