Back to Search Start Over

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

Authors :
Bayreu, Siemawe
Willemse, Tim A.C.
Dajsuren, Yanja
Publication Year :
2020
Publisher :
Technische Universiteit Eindhoven, 2020.

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.narcis........264dfda02381e62cace6535ff7f5e6ed

Tools

Authors Abstract Subjects Details