- Tytuł:
- Formal modelling of IEC 61499 function blocks with integer-valued data types
- Autorzy:
-
Gerber, C.
Ivanova-Vasileva, I.
Hanisch, H. M. - Data publikacji:
- 2010
- Słowa kluczowe:
-
modelling
verification
net condition/event systems
IEC 61499
closed-loop behaviour - Pokaż więcej
- Dostawca treści:
- BazTech