𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Study of the diagnosability of automated production systems based on functional graphs

✍ Scribed by Abdoul K.A. Toguyéni; Etienne Craye; Larbi Sekhri


Book ID
108200281
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
386 KB
Volume
70
Category
Article
ISSN
0378-4754

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On the validation and verification of pr
✍ Stephen Murrell; Robert Plant 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 294 KB

This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture , and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems . The paper improves on the traditional