Travelled to:1 × USA
Collaborated with:R.M.Dijkman J.A.Almeida
Talks about:support (1) process (1) correct (1) verifi (1) compon (1) applic (1) that (1) busi (1) base (1)
Person: Dick A.C. Quartel
DBLP: Quartel:Dick_A=C=
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.