Travelled to:1 × USA
Collaborated with:R.M.Dijkman D.A.Quartel
Talks about:support (1) process (1) correct (1) verifi (1) compon (1) applic (1) that (1) busi (1) base (1)
Person: JoãoPaulo Andrade Almeida
DBLP: Almeida:Jo=atilde=oPaulo_Andrade
Contributed to:
2002Wrote 1 papers:
- CBSE-2003-DijkmanAQ #component #correctness #process #verification
- Verifying the Correctness of Component-Based Applications that Support Business Processes (RMD, JAA, DAQ), p. 8.