Wczytuję…
Wczytuję…
3 dzieła w katalogach bibliotek
Wyników: 3
Weryfikacja modelowa specyfikacji sterowników logicznych
Iwona Grobelna
2012 · 1 wydanie · polski
14bibliotek
Weryfikacja modelowa z NuSMV
Iwona Grobelna
2011 · 1 wydanie · polski
12bibliotek
Formal verification of logic controller specification by means of model checking
Iwona Grobelna
2013 · 1 wydanie · angielski
9bibliotek