Syntax and semantics of the compositional interchange format for hybrid systems

D.E. Nadales Agut, D.A. Beek, van, J.E. Rooda

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
3 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Syntax and semantics of the compositional interchange format for hybrid systems'. Together they form a unique fingerprint.

Computer Science