Iwona Grobelna (2)

UX w systemach sterujących inteligentnymi domami: przegląd wybranych koncepcji projektowych

Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV