Travelled to:1 × USA
Collaborated with:C.L.Rodrigues K.R.G.d.Silva
Talks about:hierarch (1) function (1) composit (1) theori (1) system (1) improv (1) verif (1) embed (1) use (1) set (1)
Person: Henrique do N. Cunha
DBLP: Cunha:Henrique_do_N=
Contributed to:
2009Wrote 1 papers:
- SAC-2009-RodriguesSC #composition #embedded #functional #set #using #verification
- Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.