Design of a verification tool for complex system design

P.W. Kuppens, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Information and Communication Technology (ICT)

    Onderzoeksoutput: ScriptiePd Eng Thesis

    Originele taal-2Engels
    KwalificatieDoctor in de Filosofie
    Toekennende instantie
    Begeleider(s)/adviseur
    • Stevens, M.P.J., Begeleider
    • Voeten, Jeroen P.M., Begeleider
    • van der Putten, Piet, Begeleider
    Datum van toekenning1 jan 1996
    Plaats van publicatieEindhoven
    Uitgever
    Gedrukte ISBN's90-5282-668-4
    StatusGepubliceerd - 1996

    Bibliografische nota

    Eindverslag.

    Citeer dit