𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Eighth IEEE International Conference on Engineering of Complex Computer Systems - Greenbelt, MD, USA (2-4 Dec. 2002)] Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. - Reasoning about asynchronous behaviour in distributed systems

✍ Scribed by Henderson, P.

Book ID: 126745749
Publisher: IEEE Comput. Soc
Year: 2002
Weight: 287 KB
Category: Article
ISBN-13: 9780769517575
DOI: 10.1109/ICECCS.2002.1181494

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Eighth IEEE Internatio

[IEEE Comput. Soc Eighth IEEE International Conference on Engineering of Complex Computer Systems - Greenbelt, MD, USA (2-4 Dec. 2002)] Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. - Complexity is the enemy of dependability - can diversity provide a defence?

✍ Littlewood, B. 📂 Article 📅 2002 🏛 IEEE ⚖ 231 KB

[IEEE Comput. Soc Proceedings. Ninth IEE

[IEEE Comput. Soc Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems - Florence, Italy (14-16 April 2004)] Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems - Modelling complex systems by separating application and security concerns

✍ Gomaa, H.; Eonsuk Shin, M. 📂 Article 📅 2004 🏛 IEEE Comput. Soc ⚖ 289 KB

[IEEE Comput. Soc Seventh IEEE Internati

[IEEE Comput. Soc Seventh IEEE International Conference on Engineering of Complex Computer Systems - Skovde, Sweden (11-13 June 2001)] Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems - Parallel machine translation: principles and practice

✍ Fuji Ren, ; Hongchi Shi, 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 979 KB

[IEEE Comput. Soc 11th IEEE Internationa

[IEEE Comput. Soc 11th IEEE International Conference on Engineering of Complex Computer Systems - Stanford, CA, USA (15-17 Aug. 2006)] 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) - Verification of control systems using Circus

✍ Cavalcanti, A.; Clayton, P. 📂 Article 📅 2006 🏛 IEEE Comput. Soc ⚖ 176 KB

[IEEE Comput. Soc 11th IEEE Internationa

[IEEE Comput. Soc 11th IEEE International Conference on Engineering of Complex Computer Systems - Stanford, CA, USA (15-17 Aug. 2006)] 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06) - A layered behavioural model of platelets

✍ Schneider, S.; Cavalcanti, A.; Treharne, H.; Woodcock, J. 📂 Article 📅 2006 🏛 IEEE Comput. Soc ⚖ 159 KB

[IEEE Comput. Soc Fourth IEEE Internatio

[IEEE Comput. Soc Fourth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS '98 - Monterey, CA, USA (10-14 Aug. 1998)] Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) - Design patterns in Petri net system modeling

✍ Naedele, M.; Janneck, J.W. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 77 KB