𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Naedele, M.; Janneck, J.W.

Book ID: 120282432
Publisher: IEEE Comput. Soc
Year: 1998
Weight: 77 KB
Category: Article
ISBN-13: 9780818685972
DOI: 10.1109/ICECCS.1998.706655

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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) - The architecture tradeoff analysis method

✍ Kazman, R.; Klein, M.; Barbacci, M.; Longstaff, T.; Lipson, H.; Carriere, J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 200 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) - An approach to specifying and verifying safety-critical systems with practical formal method SOFL

✍ Liu, S.; Asuka, M.; Komaya, K.; Nakamura, Y. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 160 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 ICECCS'99: Fifth IEEE

[IEEE Comput. Soc ICECCS'99: Fifth IEEE International Conference on Engineering of Complex Computer Systems - Las Vegas, NV, USA (18-21 Oct. 1999)] Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) - Lessons learned from wrapping systems

✍ Landauer, C.; Bellman, K.L. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 158 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 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