On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M13Mousavi

From WG 2.11
Revision as of 01: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 navigationJump to 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 "http://mw.hh.se/wg211/index.php?title=WG211/M13Mousavi&oldid=918"