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