FORTES/VESTA : automatic translation of formal specifications for conformance testing

R.J.P.B. Lukassen, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)

    Research output: ThesisPd Eng Thesis

    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    Supervisors/Advisors
    • Hammer, Dieter, Supervisor
    • Luit, Erik, Supervisor
    • Koymans, Ron L.C., External supervisor, External person
    Award date1 Jan 1994
    Place of PublicationEindhoven
    Publisher
    Print ISBNs90-5282-350-2
    Publication statusPublished - 1994

    Bibliographical note

    Eindverslag

    Cite this