%0 Journal Article %1 mangerucaleonardobaleanimassimoferrarialbertosangiovannivincentellialbertosemanticspreserving %A Alberto;, Mangeruca Leonardo; Baleani Massimo; Ferrari Alberto; Sangiovanni-Vincentelli %D 10 Juni 2008 %K control embeded engineering software %T Semantics-Preserving Design of Embedded Control Software from Synchronous Models

@article{mangerucaleonardobaleanimassimoferrarialbertosangiovannivincentellialbertosemanticspreserving, added-at = {2012-03-09T10:35:52.000+0100}, author = {Alberto;, Mangeruca Leonardo; Baleani Massimo; Ferrari Alberto; Sangiovanni-Vincentelli}, biburl = {https://www.bibsonomy.org/bibtex/29b3462e63e9e40decfd3b7d561f9985e/zardosht}, interhash = {2aff6934bc7f892e667d1ca9b710e801}, intrahash = {9b3462e63e9e40decfd3b7d561f9985e}, keywords = {control embeded engineering software}, timestamp = {2012-03-10T14:37:16.000+0100}, title = {Semantics-Preserving Design of Embedded Control Software from Synchronous Models }, year = {10 Juni 2008 } }