Browsing by Subject "Code-Generator"
Now showing items 1-1 of 1
-
(2013-12-12)Department: Computer ScienceAutomated code-generators are increasingly becoming the workhorses in model-based development of Cyber-Physical Systems (CPS). Significant model-driven tools have emerged incorporating advanced model-checking methods that ...