A formal model for a supervisory controller of a calculating subsystem driver: a case study in the TIS domain

Siemawe Bayreu

    Research output: ThesisPd Eng Thesis

    13 Downloads (Pure)
    Original languageEnglish
    Supervisors/Advisors
    • Willemse, Tim A.C., Supervisor
    • Dajsuren, Yanja, Supervisor
    Award date2 Oct 2020
    Place of PublicationEindhoven
    Publisher
    Publication statusPublished - 2 Oct 2020

    Bibliographical note

    PdEng thesis

    Cite this