Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
Link opens in a new tab
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Verification of Formal Requirements through Tracing
Jorrit J. Olthuis
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
12 Jul 2022
Original language
English
Awarding Institution
Royal Institute of Technology
Cite this
Standard
Verification of Formal Requirements through Tracing
Olthuis, J. J. (Author).
12 Jul 2022
Student thesis
:
Master
Documents
pdf
File
:
application/pdf, 1.66 MB
Type
:
Thesis