Travelled to:
1 × USA
Collaborated with:
M.W.Whalen S.Rayadurgam M.P.E.Heimdahl
Talks about:
composit (1) system (1) verif (1) medic (1) devic (1)
Person: Anitha Murugesan
DBLP: Murugesan:Anitha
Contributed to:
Wrote 1 papers:
- HILT-2013-MurugesanWRH #composition #verification
- Compositional verification of a medical device system (AM, MWW, SR, MPEH), pp. 51–64.