TY  - JOUR 
AU  - Grobelna, Iwona 
AU  - Grobelny, Michał 
TI  - Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV 
JO  - Pomiary Automatyka Robotyka 
PY  - 2013 
KW  - diagram aktywności 
KW  - logika temporalna 
KW  - model logiczny 
KW  - specyfikacja 
KW  - UML 
KW  - weryfikacja modelowa 
DO  - 10.14313/PAR_200/188 
VL  - 17  
IS  - 200 
SP  - 188 
EP  - 192 
UR  - https://www.par.pl/en/Yearbooks/2013/10-2013/Weryfikowanie-specyfikacji-wymagan-sterownika-logicznego-za-pomoca-diagramow-aktywnosci-UML-logiki-temporalnej-LTL-i-srodowiska-NuSMV 
M3  - http://dx.doi.org/10.14313/PAR_200/188 
ER  -