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: ThesisPd Eng Thesis

    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    Supervisors/Advisors
    • Bosnacki, Dragan, Supervisor
    • van Lierop, H.P.J., External supervisor
    • Kruijswijk, L.B., External supervisor, External person
    Award date1 Jan 2001
    Place of PublicationEindhoven
    Publisher
    Print ISBNs90-444-0130-0
    Publication statusPublished - 2001

    Bibliographical note

    Eindverslag

    Cite this