Hybrid I/O automata: Extended abstract
Year: 1996
Type: conference-paper
Parent work: Hybrid Systems III: Verification and Control
DOI: 10.1007/bfb0020971
Institutions: Massachusetts Institute of Technology, University of Bologna
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: Høgskolen i Oslo og Akershus
OpenAlex ID: W1891915427