3. EMSOFT 2003:
Philadelphia, PA, USA Rajeev Alur , Insup Lee (Eds.):
Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings.
Lecture Notes in Computer Science 2855 Springer 2003, ISBN 3-540-20223-4 Invited Contributions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Joseph P. Loyall :
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems.
20-34
Regular Papers
export record as
dblp key:
conf/emsoft/BenvenisteCCS03 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:
conf/emsoft/ChakrabartiAHS03 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:
Patrice Godefroid :
Reasoning about Abstract Open Systems with Generalized Module Checking.
223-240
export record as
dblp key:
conf/emsoft/HenzingerKM03 export record as
dblp key:
export record as
dblp key:
conf/emsoft/KloukinasNY03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/emsoft/SanchezSSZDM03 export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
