16. ECBS 2009:
San Francisco, California, USA Modeling
export record as
dblp key:
conf/ecbs/GulottaCYPHHS09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Methods
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Systems:
Design and Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fahad Javed ,
Naveed Arshad :
A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management.
128-137
export record as
dblp key:
Safety Analysis
export record as
dblp key:
Abhishek Dubey :
Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems.
149-155
export record as
dblp key:
Benjamin Hummel :
A Semantic Model for Computer-Based Spatio-temporal Systems.
156-165
export record as
dblp key:
export record as
dblp key:
Software II
export record as
dblp key:
conf/ecbs/SoundararajanA09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Modeling II
export record as
dblp key:
conf/ecbs/HerrmannsdoerferRS09 export record as
dblp key:
export record as
dblp key:
conf/ecbs/FritzscheBVBJG09 export record as
dblp key:
Embedded Systems
export record as
dblp key:
export record as
dblp key:
Poster Session Abstracts
export record as
dblp key:
conf/ecbs/Wytyczak-PartykaNK09 export record as
dblp key:
Model Based Design Workshop
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
