An assertional model for real-time hybroid systems

J.J.M. Hooman

An assertional model for real-time hybroid systems

J.J.M. Hooman

Algorithms

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of Automation des Processus Mixtes : les systèmes dynamiques hybrides [Automation of Mixed Processes : dynamical hybrid systems] (ADPM'94, Brussels, Belgium, November 1994)
Place of Publication	Brussels
Publisher	Institut Royal Belge de Régulation et d'Automatisme (IBRA)
Pages	67-75
Publication status	Published - 1994

Cite this

@inproceedings{15c8ed6da19e489090bb864db3995216,

title = "An assertional model for real-time hybroid systems",

author = "J.J.M. Hooman",

year = "1994",

language = "English",

pages = "67--75",

booktitle = "Proceedings of Automation des Processus Mixtes : les syst{\`e}mes dynamiques hybrides [Automation of Mixed Processes : dynamical hybrid systems] (ADPM'94, Brussels, Belgium, November 1994)",

publisher = "Institut Royal Belge de R{\'e}gulation et d'Automatisme (IBRA)",

}

An assertional model for real-time hybroid systems. / Hooman, J.J.M.
Proceedings of Automation des Processus Mixtes : les systèmes dynamiques hybrides [Automation of Mixed Processes : dynamical hybrid systems] (ADPM'94, Brussels, Belgium, November 1994). Brussels: Institut Royal Belge de Régulation et d'Automatisme (IBRA), 1994. p. 67-75.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An assertional model for real-time hybroid systems

AU - Hooman, J.J.M.

PY - 1994

Y1 - 1994

M3 - Conference contribution

SP - 67

EP - 75

BT - Proceedings of Automation des Processus Mixtes : les systèmes dynamiques hybrides [Automation of Mixed Processes : dynamical hybrid systems] (ADPM'94, Brussels, Belgium, November 1994)

PB - Institut Royal Belge de Régulation et d'Automatisme (IBRA)

CY - Brussels

ER -