- Tytuł:
- Dual synthesis of Petri net based application specific logic controllers with increased safety
- Autorzy:
-
Tkacz, J.
Bukowiec, A.
Adamski, M. - Tematy:
-
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja - Pokaż więcej
- Data publikacji:
- 2016
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Dostawca treści:
- Biblioteka Nauki
Artykuł