| 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 |
An assertional model for real-time hybroid systems
J.J.M. Hooman
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review