Travelled to:
1 × United Kingdom
Collaborated with:
M.M.Jr. P.Tabuada
Talks about:
synthesi (1) control (1) pessoa (1) embed (1) tool (1)
Person: Anna Davitian
DBLP: Davitian:Anna
Contributed to:
Wrote 1 papers:
- CAV-2010-MazoDT #embedded #named #synthesis
- PESSOA: A Tool for Embedded Controller Synthesis (MMJ, AD, PT), pp. 566–569.