✦ LIBER ✦

E-process design and assurance using model checking

✍ Scribed by Wang, W.; Hidvegi, Z.; Bailey, A.D., Jr.; Whinston, A.B.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking for design and assurance

✍ Bonnie Brinton Anderson; James V. Hansen; Paul Benjamin Lowry; Scott L. Summers 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Process design and control for quality a

✍ M. Storz; M. Friedrich; E.D. Gilles 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 595 KB

Pushdown Processes: Games and Model-Chec

✍ Igor Walukiewicz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Process interface modeling and consisten

✍ Chenho Kung 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 784 KB

Modeling and designing processes in e-co

✍ Schmid, H.A.; Rossi, G. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 392 KB

Model building and model checking for bi

✍ Marco Antoniotti; Alberto Policriti; Nadia Ugel; Bud Mishra 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 798 KB