Gallery / 2001 / 2001.12.20 - Luis's Lic defence
2001.12.20 - Luis's Lic defence
Thesis Title: "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems"
Opponent: Axel Jantsch, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm
Opponent: Axel Jantsch, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm
Photos By:
- Traian Pop