- Tytuł:
- Weryfikacja i synteza programów dla reprogramowalnych sterowników logicznych z wykorzystaniem funkcji monotonicznych i diagramów BDD
- Autorzy:
- Miczulski, P.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
weryfikacja programów
synteza programów
reprogramowalne sterowniki logiczne
funkcje monotoniczne
diagramy BDD
analysis
synthesis
programs for reconfigurate logical controllers
using monotone functions and diagrams BDD
diagrams BDD - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł