- Tytuł:
- Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
- Autorzy:
-
Bubacz, P.
Adamski, M. - Data publikacji:
- 2007
- Słowa kluczowe:
-
binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł