𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automated Verification of Function Block Based Industrial Control Systems

✍ Scribed by Norbert Völker; Bernd J. Krämer

Book ID
108498168
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
65 KB
Volume
25
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

NCES-based modelling and CTL-based verif
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems
✍ Mohamed Khalgui 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 931 KB

in Germany, and it is supported by the Alexander von Humboldt foundation in Germany under the reference TUN1127196STP.) deals with automatic reconfigurations of safe embedded control systems following the component-based International Industrial Standard IEC61499 in which a Function Block (FB) is an