Travelled to:1 × Canada
1 × Germany
1 × The Netherlands
Collaborated with:J.Courtiat N.Adjir K.M.Rahmouni T.Sadani L.Apvrille C.Lohr P.Sénac
Talks about:time (3) system (2) real (2) new (2) platform (1) foundat (1) profil (1) formal (1) design (1) verif (1)
Person: Pierre de Saqui-Sannes
DBLP: Saqui-Sannes:Pierre_de
Contributed to:
2009
2005
2001Wrote 3 papers:
- TestCom-FATES-2009-AdjirSR #realtime #testing #using
- Testing Real-Time Systems Using TINA (NA, PdSS, KMR), pp. 1–15.
- SEFM-2005-SadaniSC #framework #petri net #platform #verification
- From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
- UML-2001-ApvrilleSLSC #design #realtime #uml #validation
- A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.