𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Cavalcanti, A.; Clayton, P.

Book ID: 126669923
Publisher: IEEE Comput. Soc
Year: 2006
Weight: 176 KB
Category: Article
ISBN-13: 9780769525303
DOI: 10.1109/ICECCS.2006.1690376

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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 UML profile utilizing enterprise information system configuration

✍ Nikolaidou, M.; Tsadimas, A.; Alexopoulou, N.; Dais, A.; Anagnostopoulos, D. 📂 Article 📅 2006 🏛 IEEE Comput. Soc ⚖ 799 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) - Modelling Bacterial Growth Patterns in the presence of Antibiotic

✍ Walshe, R. 📂 Article 📅 2006 🏛 IEEE Comput. Soc ⚖ 302 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 characterization of UML diagrams and their consistency

✍ Xiaoshan Li, 📂 Article 📅 2006 🏛 IEEE Comput. Soc ⚖ 193 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Mediation Systems Modeling and Verification

✍ Li Yang, ; Ege, R.K.; Huiqun Yu, 📂 Article 📅 2005 🏛 IEEE ⚖ 157 KB

[IEEE 10th IEEE International Conference

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Rapid Prototyping of Complex Interactive Simulation Systems

✍ Zhiming Zhao, ; van Albada, D.; Sloot, P. 📂 Article 📅 2005 🏛 IEEE ⚖ 266 KB