INHALTE
Student projects
Topic
Research about PSL (Property Specification Language)
- Kind of work:
- Advanced Seminar
- Supervisor:
-
Dr.-Ing. Steffen Ostendorff
Dr.-Ing. Jorge Hernán Meza Escobar
Dipl.-Math. Jörg Sachße
- Students:
-
A. Philipp Höhne
- Status:
- finished
- Abstract: