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

Siemawe Bayreu

Research output: Thesis › EngD Thesis

59 Downloads (Pure)

Original language	English
Supervisors/Advisors	Willemse, Tim A.C., Supervisor Dajsuren, Yanja, Supervisor
Award date	2 Oct 2020
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Publication status	Published - 2 Oct 2020

PdEng thesis

Access to Document

@phdthesis{e4b9d7adbace404a83724b01ca6cb59f,

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

author = "Siemawe Bayreu",

note = "PdEng thesis",

year = "2020",

month = oct,

day = "2",

language = "English",

series = "PdEng Thesis",

publisher = "Technische Universiteit Eindhoven",

type = "EngD Thesis",

}