✦ LIBER ✦

A Rigorous Method for Inspection of Model-Based Formal Specifications

✍ Scribed by Shaoying Liu; McDermid, J.A.; Yuting Chen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formal Model for SDL Specifications Ba

✍ L.J. Steggles; P. Kosiuczenko 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 153 KB

rCOS: a formal model-driven engineering

✍ Wei Ke; Xiaoshan Li; Zhiming Liu; Volker Stolz 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 781 KB

On the development of a standard for con

✍ Dieter Hogrefe 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 459 KB

A method for inspecting industrial parts

✍ Norifumi Katafuchi; Mutsuo Sano; Shuichi Ohara; Masashi Okudaira 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 260 KB

Design of a formal model for the specifi

✍ Klaus Feldmann; Wolfgang Wolf; Matthias Weber 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 421 KB

Risk Based Inspection Planning for Ship

✍ Dianqing Li; Shengkun Zhang; Wenyong Tang 📂 Article 📅 2004 🏛 American Society of Naval Engineers 🌐 English ⚖ 531 KB