Personal information
control systems, formal verification, model checking, Petri nets
Poland
Activities
Employment (1)
2008-03-01
to
present
|
Associate Professor
(Institute of Automatics, Electronics and Electrical Engineering)
Employment
Source:
Iwona Grobelna