Login / Signup
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling.
Pao-Ann Hsiung
Trong-Yen Lee
Feng-Shi Su
Published in:
APSEC (2002)
Keyphrases
</>
embedded software
code generation
real time
quasi static
formal specification
development projects
software development
software architecture
embedded systems
application development
modeling language
code generator
model driven
rapid prototyping
open source
business intelligence