𝔖 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 - Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems

✍ Scribed by Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro

Book ID: 115538831
Publisher: IEEE
Year: 2011
Tongue: English
Weight: 359 KB
Volume: 0
Category: Article
ISBN: 1457709732
DOI: 10.1109/qest.2011.16

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 - APAC: A Tool for Reasoning about Abstract Probabilistic Automata

✍ Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wasowski, An 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 151 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 ICC 2011 - 2011 IEEE International

[IEEE ICC 2011 - 2011 IEEE International Conference on Communications - Kyoto, Japan (2011.06.5-2011.06.9)] 2011 IEEE International Conference on Communications (ICC) - Evaluation of Cooperative Techniques for Hybrid/Integrated Satellite Systems

✍ Kim, Sooyoung 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 442 KB

[IEEE 2011 IEEE 10th International Confe

[IEEE 2011 IEEE 10th International Conference on Cybernetic Intelligent Systems (CIS) - London (2011.09.1-2011.09.2)] 2011 IEEE 10th International Conference on Cybernetic Intelligent Systems (CIS) - A critical evaluation of datasets for investigating IDSs and IPSs researches

✍ Nehinbe, J. O. 📂 Article 📅 2011 🏛 IEEE ⚖ 235 KB