Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:J.Pradat-Peyre T.Coupaye M.Leclercq V.Quéma J.Stefani
Talks about:support (1) program (1) concurr (1) automat (1) compon (1) verif (1) model (1) open (1) java (1) ada (1)
Person: Eric Bruneton
DBLP: Bruneton:Eric
Contributed to:
2004
1999Wrote 2 papers:
- CBSE-2004-BrunetonCLQS #component #java
- An Open Component Model and Its Support in Java (EB, TC, ML, VQ, JBS), pp. 7–22.
- AdaEurope-1999-BrunetonP #ada #automation #concurrent #source code #verification
- Automatic Verification of Concurrent Ada Programs (EB, JFPP), pp. 146–157.