𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc IEEE ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - York, UK (4-6 Sept. 2000)] ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - Composing specifications in VSPEC

✍ Scribed by Venkataraman, A.; Rangarajan, M.; Alexander, P.

Book ID: 126768287
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 808 KB
Category: Article
ISBN-13: 9780769508221
DOI: 10.1109/ICFEM.2000.873804

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc IEEE ICFEM 2000. Third

[IEEE Comput. Soc IEEE ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - York, UK (4-6 Sept. 2000)] ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - A unified algebraic framework for specifying communication protocols

✍ Jmaiel, M. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 819 KB

ICFEM 2000. Third IEEE International Con

ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods

📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 382 KB

[IEEE Comput. Soc IEEE ICFEM 2000. Third

[IEEE Comput. Soc IEEE ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - York, UK (4-6 Sept. 2000)] ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - An animatable operational semantics of the Verilog hardware description language

✍ Bowen, J.P.; He Jifeng, ; Xu Qiwen, 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 816 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - π-SPACE: a formal architecture description language based on process algebra for evolving software systems

✍ Chaudet, C.; Oquendo, F. 📂 Article 📅 2000 🏛 IEEE ⚖ 392 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - An overview of a method and its support tool for generating B specifications from UML notations

✍ Laleau, R.; Mammar, A. 📂 Article 📅 2000 🏛 IEEE ⚖ 358 KB

[IEEE Comput. Soc Parelec 2000 Internait

[IEEE Comput. Soc Parelec 2000 Internaitonal Symposium on Parallel Computing in Electrical Engineering - Trois-Rivieres, Que., Canada (27-30 Aug. 2000)] Proceedings International Conference on Parallel Computing in Electrical Engineering. PARELEC 2000 - Parallel computing environments and methods

✍ Fadlallah, G.; Lavoie, M.; Dessaint, L.-A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 538 KB