Travelled to:1 × Taiwan
Collaborated with:P.Dhaussy F.Boniol E.Bonnafous
Talks about:partial (1) system (1) method (1) applic (1) verif (1) order (1) close (1) loop (1) sdl (1)
Person: Xavier Dumas
DBLP: Dumas:Xavier
Contributed to:
2011Wrote 1 papers:
- SAC-2011-DumasDBB #partial order #verification
- Application of partial-order methods for the verification of closed-loop SDL systems (XD, PD, FB, EB), pp. 1666–1673.