𝔖 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 - A unified algebraic framework for specifying communication protocols

✍ Scribed by Jmaiel, M.

Book ID: 126680283
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 819 KB
Category: Article
ISBN-13: 9780769508221
DOI: 10.1109/ICFEM.2000.873805

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 - Composing specifications in VSPEC

✍ Venkataraman, A.; Rangarajan, M.; Alexander, P. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 808 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