𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Hong Kong (28-30 Sept. 2004)] Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Automated consistency and completeness checking of testing models for interactive systems

✍ Scribed by Paradkar, A.; Klinger, T.

Book ID: 120086809
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 295 KB
Category: Article
ISBN-13: 9780769522098
DOI: 10.1109/CMPSAC.2004.1342856

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings of the 28th Annual Int

[IEEE Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Hong Kong (28-30 Sept. 2004)] Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - An approach for software reliability model selection

✍ Asad, Ch.A.; Ullah, M.I.; Rehman, M.J. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 248 KB

[IEEE Proceedings of the 28th Annual Int

[IEEE Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Hong Kong (28-30 Sept. 2004)] Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. - Context-based access control for ubiquitous service provisioning

✍ Corradi, A.; Montanari, R.; Tibaldi, D. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 285 KB

[IEEE Proceedings of the Second Internat

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Path-oriented test data generation using symbolic execution and constraint solving techniques

✍ Jian Zhang, ; Chen Xu, ; Xiaoliang Wang, 📂 Article 📅 2004 🏛 IEEE ⚖ 365 KB

[IEEE Proceedings of the Second Internat

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Using relation algebra for the analysis of petri nets in a CASE tool based approach

✍ Fronk, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 587 KB

[IEEE Comput. Soc Proceedings. The Twent

[IEEE Comput. Soc Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) - Vienna, Austria (19-21 Aug. 1998)] Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) - Design and implementation of action history view mechanisms for hypermedia systems

✍ Iwamoto, H.; Ito, C.; Kambayashi, Y. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 128 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks (includes FTCS-30 30th Annual International Symposium on Fault-Tolerant Computing and DCCA-8) - New York, NY, USA (25-28 June 2000)] Proceeding International Conference on Dependable Systems and Networks. DSN 2000 - DEEM: a tool for the dependability modeling and evaluation of multiple phased systems

✍ Bondavalli, A.; Mura, I.; Chiaradonna, S.; Filippini, R.; Poli, S.; Sandrini, F. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 163 KB