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