Travelled to:1 × Brazil
Collaborated with:C.Andrés M.Núñez
Talks about:theoret (1) practic (1) develop (1) complex (1) system (1) method (1) inform (1) formal (1) experi (1) use (1)
Person: Rafael G. Aranda
DBLP: Aranda:Rafael_G=
Contributed to:
2008Wrote 1 papers:
- SAC-2008-AndresAN #experience #formal method #information management #using
- Using formal methods to develop a complex information system: a practical/theoretical experience (CA, RGA, MN), pp. 848–849.