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

Siemawe Bayreu

    Research output: ThesisEngD Thesis

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

    Bibliographical note

    PdEng thesis

    Cite this