Prof. Marek Wegrzyn
Member
Address:
Space Research Centre of the Polish Academy of Sciences (CBK PAN)
Space Robot Dynamics Laboratory
ul. Nowy Kisielin-A.Syrkiewicza 6
66-002 Zielona Góra
Poland
e-mail: M.Wegrzyn@ieee.org
WWW: https://cbkpan.pl/en/
Phone: +48 68 41 41 055
Fax: +48 68 41 41 066
Interest:
Formal specification and verification of digital systems, embedded systems, hardware description languages (HDLs), programmable logic, real-time and distributed control systems