![Models of computation / Programming language semantics / Logic in computer science / Control theory / Signal processing / Denotational semantics / Hybrid system / Scicos / Operational semantics / Theoretical computer science / Mathematics / Applied mathematics Models of computation / Programming language semantics / Logic in computer science / Control theory / Signal processing / Denotational semantics / Hybrid system / Scicos / Operational semantics / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/9de6e89a1082932e58210c89608f45e5.jpg)
| Document Date: 2005-03-05 16:31:49 Open Document File Size: 1.003,88 KBShare Result on Facebook
City Zurich / / Company Toyota / Honeywell / Hewlett-Packard / Embedded Software Systems / General Motors / Infineon / Hybrid Systems / / Country Switzerland / United States / / / Facility University of California / / IndustryTerm simulation tools / control algorithm / software subsystems / software framework / diverse tools / software tools / graphics infrastructure / above tools / heterogeneous systems / verification tools / computing / few software tools / physical systems / / OperatingSystem Kronos / / Organization National Science Foundation / University of California / Berkeley / Center for Hybrid / / Person Haiyang Zheng / Edward A. Lee / / Position guard / programming language designer / programmer / / Product CCR / / ProgrammingLanguage Stateflow / C / Simulink / / ProvinceOrState California / / Technology control algorithm / simulation / animation / /
SocialTag |