𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Parallel breadth-first search LTL model-checking

✍ Scribed by Barnat, J.; Brim, L.; Chaloupka, J.

Book ID: 121243874
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 357 KB
Category: Article
ISBN-13: 9780769520353
DOI: 10.1109/ASE.2003.1240299

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Model-based verification of Web service compositions

✍ Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 440 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - VUML: a viewpoint oriented UML extension

✍ Nassar, M. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 232 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Architecture style-based calculi for non-functional properties

✍ Wile, D.S. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 234 KB

[IEEE Comput. Soc 18th IEEE Internationa

[IEEE Comput. Soc 18th IEEE International Conference on Automated Software Engineering - Montreal, Que., Canada (6-10 Oct. 2003)] 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. - Specification and synthesis of hybrid automata for physics-based animation

✍ Ellman, T. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 293 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Software Maintenance - Montreal, Que., Canada (3-6 Oct. 2002)] International Conference on Software Maintenance, 2002. Proceedings. - Case study on software engineering practices with Parnas tables

✍ Wu, Z.L. 📂 Article 📅 2002 🏛 IEEE Comput. Soc 🌐 English ⚖ 248 KB

[IEEE Comput. Soc 10th IEEE Internationa

[IEEE Comput. Soc 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003 - Huntsville, AL, USA (7-10 April 2003)] 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings. - An approach for modeling and designing software architecture

✍ Jiang Guo, 📂 Article 📅 2003 🏛 IEEE Comput. Soc 🌐 English ⚖ 407 KB