Vol-502⫷ Vol-503 ⫸Vol-504
urn:nbn:de:0074-503-0

Copyright © 2009 for the individual papers by the papers' authors. Copyright © 2009 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).
Vol-503/paper-8⫷Vol-503/paper-9⫸Vol-503/paper-10
Joseph PorterGabor KarsaiPeter VolgyesiHarmon NinePeter HumkeGraham HemingwayRyan Thibodeauxand Janos Sztipanovits

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation