- 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
- Wydawca:
- Polska Akademia Nauk. Instytut Badań Systemowych PAN
- Tematy:
-
modelling
verification
net condition/event systems
IEC 61499
closed-loop behaviour - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł