WG211/M13Mousavi

From WG 2.11
Revision as of 00:49, 31 December 2013 by Eric (talk | contribs) (Created page with "After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain Specific Language (DSL) is developed for medical devices (such as CT-scanners and X-Ray machines). We report on the formal semantics, and early validation and verification technology around this DSL.

(Joint work with Arjan Mooij, TNO and Sarmen Keshishzadeh, TU Eindhoven, The Netherlands)

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M13Mousavi&oldid=918"