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

Siemawe Bayreu

    Onderzoeksoutput: ScriptiePd Eng Thesis

    14 Downloads (Pure)
    Originele taal-2Engels
    Begeleider(s)/adviseur
    • Willemse, Tim A.C., Begeleider
    • Dajsuren, Yanja, Begeleider
    Datum van toekenning2 okt 2020
    Plaats van publicatieEindhoven
    Uitgever
    StatusGepubliceerd - 2 okt 2020

    Bibliografische nota

    PdEng thesis

    Citeer dit