Prof. Marek Wegrzyn

Member

Address:

Space Research Centre of the Polish Academy of Sciences
Lab. of Dynamics of Satellite Manipulators
ul. Nowy Kisielin-A.Syrkiewicza 6
66-002 Zielona Góra,

Poland

e-mail:

M.Wegrzyn@ieee.org

Phone:

+48 68 41 41 055

Interest:

Formal specification and verification of digital systems, embedded systems, hardware description languages (HDLs), programmable logic, real-time and distributed control systems