Publications
Filters: Author is Jacobus E. Rooda [Clear All Filters]
, “Syntax and semantics of the compositional interchange format for hybrid systems”, J. Log. Algebr. Program., vol. 82, p. 1-52, 2013.
, “Improving evolvability of a patient communication control system using state-based supervisory control synthesis”, Advanced Engineering Informatics, vol. 26, p. 502-515, 2012.
