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

✍ Scribed by Kazman, R.; Klein, M.; Barbacci, M.; Longstaff, T.; Lipson, H.; Carriere, J.

Book ID: 126685756
Publisher: IEEE Comput. Soc
Year: 1998
Weight: 200 KB
Category: Article
ISBN-13: 9780818685972
DOI: 10.1109/ICECCS.1998.706657

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) - Design patterns in Petri net system modeling

✍ Naedele, M.; Janneck, J.W. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 77 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) - Verification of control systems using Circus

✍ Cavalcanti, A.; Clayton, P. 📂 Article 📅 2006 🏛 IEEE Comput. Soc ⚖ 176 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 Proceedings. Fourth In

[IEEE Comput. Soc Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159) - Annapolis, MA, USA (4-6 May 1998)] Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159) - SOFA/DCUP: architecture for component trading and dynamic updating

✍ Plasil, F.; Balek, D.; Janecek, R. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 85 KB