Travelled to:1 × USA
Collaborated with:P.Dhaussy S.Creff A.Raji Y.L.Traon B.Baudry
Talks about:properti (1) descript (1) softwar (1) pattern (1) definit (1) context (1) formal (1) valid (1) evalu (1)
Person: Pierre Yves Pillain
DBLP: Pillain:Pierre_Yves
Contributed to:
2009Wrote 1 papers:
- MoDELS-2009-DhaussyPCRTB #validation
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.