𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Time-bounded model checking of infinite-state continuous-time Markov chains

✍ Scribed by Lijun Zhang, ; Hermanns, Holger; Moritz Hahn, E.; Wachter, Bjorn

Book ID: 121386360
Publisher: IEEE
Year: 2008
Weight: 370 KB
Category: Article
ISBN: 1424418380
DOI: 10.1109/ACSD.2008.4574601

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 8th International Conference

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - On the interplay between fault handling and request-response service invocations

✍ Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi 📂 Article 📅 2008 🏛 IEEE ⚖ 235 KB

[IEEE 2008 8th International Conference

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Using edge-triggering in the asynchronous synthesis of write-after-read operations

✍ Toosizadeh, Navid; Zaky, Safwat 📂 Article 📅 2008 🏛 IEEE ⚖ 156 KB

[IEEE 2011 11th International Conference

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems

✍ Zhou, Yu; Mak, Terrence; Yakovlev, Alex 📂 Article 📅 2011 🏛 IEEE ⚖ 254 KB

[IEEE 2013 13th International Conference

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Precision Timed Embedded Systems Using TickPAD Memory

✍ Kuo, Matthew; Roop, Partha; Andalam, Sidharta; Patel, Nitish 📂 Article 📅 2013 🏛 IEEE ⚖ 731 KB