- Tytuł:
- Regułowy model logiczny rekonfigurowalnego sterownika logicznego do weryfikacji i syntezy
- Autorzy:
- Grobelna, I.
- Data publikacji:
- 2012
- Słowa kluczowe:
-
rekonfigurowalny sterownik logiczny
model logiczny
interpretowane sieci Petriego
formalna weryfikacja
synteza
reconfigurable logic controller
logical model
control interpreted Petri nets
formal verification
synthesis - Pokaż więcej
- Dostawca treści:
- BazTech