Formal specification of embedded systems

M.J. Diepstraten, 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
    • Somers, Lou J.A.M., Supervisor
    Award date1 Jan 1991
    Place of PublicationEindhoven
    Publisher
    Print ISBNs90-5282-165-8
    Publication statusPublished - 1991

    Bibliographical note

    Eindverslag

    Cite this

    Diepstraten, M. J., & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST) (1991). Formal specification of embedded systems. Technische Universiteit Eindhoven.