Easy Property Specification Through UML State-Machine Diagrams

Danny F.M. van Dortmont

Mathematics and Computer Science

Student thesis: Master

Date of Award	27 Feb 2025
Original language	English
Supervisor	Jeroen J.A. Keiren (Supervisor 1)

Cite this

Standard

Documents

pdf
File: application/pdf, 4.37 MB
Type: Thesis

'