An assertional model for real-time hybroid systems

J.J.M. Hooman

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProceedings of Automation des Processus Mixtes : les systèmes dynamiques hybrides [Automation of Mixed Processes : dynamical hybrid systems] (ADPM'94, Brussels, Belgium, November 1994)
Plaats van productieBrussels
UitgeverijInstitut Royal Belge de Régulation et d'Automatisme (IBRA)
Pagina's67-75
StatusGepubliceerd - 1994

Citeer dit