Travelled to:1 × Italy
1 × Spain
Collaborated with:F.Dadeau F.Bouquet P.Bué
Talks about:model (2) behavior (1) abstract (1) qualiti (1) assess (1) readi (1) build (1) test (1) use (1) clp (1)
Person: Adrien De Kermadec
DBLP: Kermadec:Adrien_De
Contributed to:
2010
2010Wrote 2 papers:
- SEFM-2010-KermadecDB #modelling #quality
- Assessing the Quality of B Models (ADK, FD, FB), pp. 83–90.
- TAP-2010-BueDKB #abstraction #behaviour #using
- Building a Test-Ready Abstraction of a Behavioral Model Using CLP (PCB, FD, ADK, FB), pp. 167–182.