𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Crop planning optimization model: the validation and verification processes

✍ Scribed by Jitka Janová

Book ID
113057062
Publisher
Springer-Verlag
Year
2011
Tongue
English
Weight
254 KB
Volume
20
Category
Article
ISSN
1435-246X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification and validation of the SACHE
Verification and validation of the SACHEM conceptual model
✍ M. LE GOC; C. FRYDMAN; L. TORRES 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 611 KB

We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operational