Gallery::2003::2003.12.12 - Daniel's Lic defence
2003.12.12 - Daniel's Lic defence
Thesis Title: "Towards Formal Verification in a Component-based Reuse Methodology"
Opponent: Ingo Sander, Microelectronics and Information Technology, Royal Institute of Technology, Stockholm.
Opponent: Ingo Sander, Microelectronics and Information Technology, Royal Institute of Technology, Stockholm.
Photos By:
- Traian Pop