An assertional model for real-time hybroid systems

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 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 PublicationBrussels
PublisherInstitut Royal Belge de Régulation et d'Automatisme (IBRA)
Pages67-75
Publication statusPublished - 1994

Cite this