- Tytuł:
- Automatyczna weryfikacja i synteza regułowego modelu sterownika logicznego
- Autorzy:
- Grobelna, I.
- Data publikacji:
- 2011
- Słowa kluczowe:
-
sterownik logiczny
specyfikacja
sprawdzanie modelu
synteza
logic controller
specification
model checking
synthesis - Pokaż więcej
- Dostawca treści:
- BazTech