Login / Signup
Formal Model-Based Synthesis of Application-Specific Static RTOS.
Tigori Kabland Toussaint Gautier
Jean-Luc Béchennec
Sébastien Faucou
Olivier Henry Roux
Published in:
ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
</>
application specific
general purpose
high bandwidth
formal model
cad cam
computation intensive
file system
generally applicable
database
low cost
domain specific
end to end
formal specification
dynamic reconfiguration