𝔖 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 - On the interplay between fault handling and request-response service invocations

✍ Scribed by Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi

Book ID: 126666935
Publisher: IEEE
Year: 2008
Weight: 235 KB
Category: Article
ISBN: 1424418380
DOI: 10.1109/ACSD.2008.4574611

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 - Using edge-triggering in the asynchronous synthesis of write-after-read operations

✍ Toosizadeh, Navid; Zaky, Safwat 📂 Article 📅 2008 🏛 IEEE ⚖ 156 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 - Time-bounded model checking of infinite-state continuous-time Markov chains

✍ Lijun Zhang, ; Hermanns, Holger; Moritz Hahn, E.; Wachter, Bjorn 📂 Article 📅 2008 🏛 IEEE ⚖ 370 KB

[IEEE 2008 8th International Conference

[IEEE 2008 8th International Conference on Hybrid Intelligent Systems (HIS) - Barcelona, Spain (2008.09.10-2008.09.12)] 2008 Eighth International Conference on Hybrid Intelligent Systems - On the Use of Bagging, Mutual Information-Based Feature Selection and Multicriteria Genetic Algorithms to Design Fuzzy Rule-Based Classification Ensembles

✍ Cordón, Oscar; Quirin, Arnaud; Sánchez, Luciano 📂 Article 📅 2008 🏛 IEEE ⚖ 200 KB

[IEEE Comput. Soc 1998 International Con

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Combining structural and symbolic methods for the verification of concurrent systems

✍ Cortadella, J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 160 KB

[IEEE Comput. Soc Second International C

[IEEE Comput. Soc Second International Conference on Application of Concurrency to System Design. ACSD 2001 - Newcastle upon Tyne, UK (25-29 June 2001)] Proceedings Second International Conference on Application of Concurrency to System Design - Semi-hiding operators and the analysis of active-edge specifications for digital circuits

✍ Negulescu, R.; Xiaohua Kong, 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 385 KB

[IEEE 2007 8th International Conference

[IEEE 2007 8th International Conference on Electronic Measurement and Instruments - Xian, China (2007.08.16-2007.07.18)] 2007 8th International Conference on Electronic Measurement and Instruments - A Design of the Test According to Amplitude-frequency Characteristic in the Radar Antenna Control System

✍ Junwei, Lv; Zhiyun, Wang; zhouchen, Xue 📂 Article 📅 2007 🏛 IEEE ⚖ 496 KB