Automatic simulation and verification of UML activity diagrams, by translation to X and Promela

M.A.F. Jansen, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)

Research output: Thesis › EngD Thesis

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution
Supervisors/Advisors	Bosnacki, Dragan, Supervisor van Lierop, H.P.J., External supervisor Kruijswijk, L.B., External supervisor, External person
Award date	1 Jan 2001
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-444-0130-0
Publication status	Published - 2001

Eindverslag

Cite this

@phdthesis{9b4ce77d72ad41a4b1ff19787764ed5d,

title = "Automatic simulation and verification of UML activity diagrams, by translation to X and Promela",

author = "M.A.F. Jansen and {Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)}",

note = "Eindverslag",

year = "2001",

language = "English",

isbn = "90-444-0130-0",

publisher = "Technische Universiteit Eindhoven",

type = "EngD Thesis",

}