Login / Signup
Semi-formal refinement of heterogeneous embedded systems by foreign model integration.
Seyed-Hosein Attarzadeh-Niaki
Ingo Sander
Published in:
FDL (2011)
Keyphrases
</>
embedded systems
formal model
high level
low cost
computing power