10. EMSOFT 2010: Scottsdale, Arizona, USA Luca P. Carloni , Stavros Tripakis (Eds.):
Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010.
ACM 2010, ISBN 978-1-60558-904-6 Verification & synthesis
export record as
dblp key:
conf/emsoft/MartinezMST10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/emsoft/JacksonKDSS10
Applications & tools
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/emsoft/IyengharWWP10 export record as
dblp key:
Scheduling & optimization
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Automotive & wireless sensor networks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Flash memory
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Distribution & event graphs
export record as
dblp key:
conf/emsoft/BenvenisteBC10 export record as
dblp key:
conf/emsoft/Potop-ButucaruAF10 export record as
dblp key:
conf/emsoft/BonakdarpourBJQS10 export record as
dblp key:
Model-based design & patterns
export record as
dblp key:
conf/emsoft/AbdellatifCS10 export record as
dblp key:
export record as
dblp key:
Scheduling & control
export record as
dblp key:
conf/emsoft/CraciunasKS10 export record as
dblp key:
conf/emsoft/StoimenovTSB10 export record as
dblp key:
conf/emsoft/SantinelliMPEFB10 export record as
dblp key:
Tutorials
export record as
dblp key:
conf/emsoft/ChakrabortyRT10 export record as
dblp key:
conf/emsoft/HermannsLRT10
data released under the ODC-BY 1.0 license
