- Tytuł:
- Modelling of IEC 61499 function blocks a clue to their verification
- Autorzy:
-
Vyatkin, V.
Hanisch, H.M. - Data publikacji:
- 2000
- Słowa kluczowe:
-
IEC 61499 function blocks
discrete measurement
discrete control
event driven applications
distributed applications
interconnected systems
model checking
reachability tests
dangerous states - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł