✦ LIBER ✦

Optimisation procedures in affine model checking

✍ Scribed by N. O. Garanina

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking of distributed systems wi

✍ N. O. Garanina 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 139 KB

Optimising procedures in manufacturing s

✍ Philip Marsden; Mark Green 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 652 KB

Optimisation in reserve selection proced

✍ Ana S.L. Rodrigues; Kevin J. Gaston 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 113 KB

Use of simulation modelling for checking

✍ S. B. Danilevich; S. S. Kolesnikov; Yu. A. Palchun 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 128 KB

Optimisation of mass casualty decontamin

✍ David R. Jones; Joanne Larner; Shirley C. Price; Robert P. Chilcott 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 373 KB

Abstraction refinement in symbolic model

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 548 KB