𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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. - Past- and future-oriented time-bounded temporal properties with OCL

✍ Scribed by Flake, S.; Mueller, W.

Book ID: 120043094
Publisher: IEEE
Year: 2004
Weight: 371 KB
Category: Article
ISBN-13: 9780769522227
DOI: 10.1109/SEFM.2004.1347516

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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. - Formal verification of requirements using SPIN: a case study on web services

✍ Kazhamiakin, R.; Pistore, M.; Roveri, M. 📂 Article 📅 2004 🏛 IEEE ⚖ 344 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