Travelled to:
1 × USA
Collaborated with:
A.J.Hu
Talks about:
interfac (1) monitor (1) generat (1) automat (1) specif (1) level (1) high (1)
Person: Marcio T. Oliveira
DBLP: Oliveira:Marcio_T=
Contributed to:
Wrote 1 papers:
- DAC-2002-OliveiraH #automation #generative #interface #monitoring #specification
- High-Level specification and automatic generation of IP interface monitors (MTO, AJH), pp. 129–134.