𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (23-25 Oct. 2002)] 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. - Extending WSDL to facilitate Web services testing

✍ Scribed by Tsai, W.T.; Paul, R.; Yamin Wang, ; Chun Fan, ; Dong Wang,

Book ID: 126655203
Publisher: IEEE Comput. Soc
Year: 2002
Weight: 202 KB
Category: Article
ISBN-13: 9780769517698
DOI: 10.1109/HASE.2002.1173119

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 7th IEEE International

[IEEE Comput. Soc 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (23-25 Oct. 2002)] 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. - High assurance, my personal experience and view point

✍ Yamanouchi, S. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 274 KB

[IEEE Comput. Soc 7th IEEE International

[IEEE Comput. Soc 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (23-25 Oct. 2002)] 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. - Coyote: an XML-based framework for Web services testing

✍ Tsai, W.T.; Paul, R.; Weiwei Song, ; Zhibin Cao, 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 203 KB

[IEEE Comput. Soc 7th IEEE International

[IEEE Comput. Soc 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (23-25 Oct. 2002)] 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. - Enhancing system validation with behavioural types

✍ Gossens, S. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 300 KB

[IEEE Comput. Soc 7th IEEE International

[IEEE Comput. Soc 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (23-25 Oct. 2002)] 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. - Model checking RSML/sup -e/ requirements

✍ Yunja Choi, ; Heimdahl, M.P.E. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 342 KB

[IEEE Comput. Soc 7th IEEE International

[IEEE Comput. Soc 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (23-25 Oct. 2002)] 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. - Multi-agent systems: overview of a new paradigm for distributed systems

✍ Ahmad, H.F. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 261 KB

[IEEE Comput. Soc HASE 2000. 5th IEEE In

[IEEE Comput. Soc HASE 2000. 5th IEEE International Symposium on High-Assurance Systems Engineering - Albuquerque, NM, USA (15-17 Nov. 2000)] Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) - Determining the expected time to unsafe failure

✍ Smith, D.T.; DeLong, T.A.; Johnson, B.W.; Giras, T.C. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 658 KB