Back to results
Technische Universiteit Eindhoven
FORmal specification of embedded systems in ExSpect
Degree
thesis:*- Name dc:type.qualificationname
- Master
- Level dc:type.qualificationlevel
- Studentthesis types
- Year dc:date.issued
- 1991
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Pouwels, E.P.L.
- Advisor dc:contributor.advisor
-
- Diepstraten, M.J.
Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- oai:pure.tue.nl:studenttheses/b11d4c2f-9cca-45bb-9311-f139d7e389f5
- OAI identifier oai:identifier
- oai:pure.tue.nl:studenttheses/b11d4c2f-9cca-45bb-9311-f139d7e389f5