✦ LIBER ✦

[IEEE Comput. Soc Fourth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS '98 - Monterey, CA, USA (10-14 Aug. 1998)] Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) - An approach to specifying and verifying safety-critical systems with practical formal method SOFL

✍ Scribed by Liu, S.; Asuka, M.; Komaya, K.; Nakamura, Y.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Fourth IEEE Internatio

✍ Kazman, R.; Klein, M.; Barbacci, M.; Longstaff, T.; Lipson, H.; Carriere, J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 200 KB

[IEEE Comput. Soc Fourth IEEE Internatio

✍ Naedele, M.; Janneck, J.W. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 77 KB