Generating Reliable Code from Hybrid-Systems Models

[摘要]：Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distributed embedded systems can be modeled as a network of communicating hybrid

[全文传递流程]：

一般上传文献全文的时限在1个工作日内