- Tytuł:
-
Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Quality oriented specification of logic controllers - Autorzy:
-
Doligalski, M.
Adamski, M. - Data publikacji:
- 2010
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
Diagramy Maszyny Stanów UML
sieci Petriego
diagramy SFC
embedded systems
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification - Dostawca treści:
- Biblioteka Nauki
Artykuł