𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Analysis of the Suzuki-Kasami algorithm with the Maude model checker

✍ Scribed by Ogata, K.; Futatsugi, K.

Book ID: 118211593
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 247 KB
Volume: 0
Category: Article
ISBN-13: 9780769524658
DOI: 10.1109/apsec.2005.40

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Personal software process (PSP) assistant

✍ Sison, R. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 416 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Ontology-based active requirements engineering framework

✍ Lee, S.W.; Gandhi, R.A. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 617 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Providing quality measurement for aspect-oriented software development

✍ Kassab, M.; Ormandjieva, O.; Constantinides, C. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 224 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - A framework for application server based Web services management

✍ Heqing Guan, ; Beihong Jin, ; Jun Wei, ; Wei Xu, ; Ningjiang Chen, 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 346 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - A service-oriented architecture for design and development of middleware

✍ Yih-Cheng Lee, ; Chi-Ming Ma, ; Shih-Chien Chou, 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 293 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - A formal semantics of timed activity diagrams and its PROMELA translation

✍ Guelfi, N.; Mammar, A. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 325 KB