Open AccessGenerating embedded software from hierarchical hybrid models
Author(s) -
Rajeev Alur,
Franjo Ivančić,
Jesung Kim,
Insup Lee,
Oleg Sokolsky
Publication year - 2003
Publication title -
scholarlycommons (university of pennsylvania)
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.1145/780753.780756
Subject(s) - computer science , modular design , compiler , semantics (computer science) , programming language , code (set theory) , exploit , modeling language , code generation , software , hybrid system , modelica , model checking , source code , distributed computing , theoretical computer science , machine learning , computer security , set (abstract data type) , key (lock)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom