http://www.tu-ilmenau.de

Logo TU Ilmenau


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: