𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - APAC: A Tool for Reasoning about Abstract Probabilistic Automata

✍ Scribed by Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wasowski, Andrzej

Book ID: 120617054
Publisher: IEEE
Year: 2011
Tongue: English
Weight: 151 KB
Category: Article
ISBN: 1457709732
DOI: 10.1109/QEST.2011.28

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 Eighth International Conferen

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

✍ Hahn, Ernst Moritz; Norman, Gethin; Parker, David; Wachter, Bjorn; Zhang, Lijun 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 349 KB

[IEEE 2011 Eighth International Conferen

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - A Hybrid Approach for Large Cache Performance Studies

✍ Daly, David; Dube, Parijat; El Maghraoui, Kaoutar; Poff, Dan; Zhang, Li 📂 Article 📅 2011 🏛 IEEE ⚖ 415 KB

[IEEE 2011 Eighth International Conferen

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems

✍ Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 359 KB

[IEEE 2011 Eighth International Conferen

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Fluid Limits Applied to Peer to Peer Network Analysis

✍ Aspirot, Laura; Mordecki, Ernesto; Rubino, Gerardo 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 393 KB

[IEEE First International Conference on

[IEEE First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. - Enschede, Netherlands (2004.11.12-2004.11.12)] First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. - A performance evaluation tool for RAID disk arrays

✍ Thomasian, A.; Han, C.; Fu, G.; Liu, C. 📂 Article 📅 2004 🏛 IEEE ⚖ 608 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Psi^2 a Software Tool for the Perfect Simulation of Finite Queueing Networks

✍ Vincent, Jean-Marc; Vienne, Jerome 📂 Article 📅 2007 🏛 IEEE ⚖ 187 KB