Travelled to:1 × Canada
1 × Germany
1 × USA
Collaborated with:P.d.Saqui-Sannes C.Lohr T.Sadani P.N.M.Sampaio L.Apvrille P.Sénac
Talks about:time (2) new (2) platform (1) document (1) present (1) foundat (1) environ (1) consist (1) system (1) profil (1)
Person: Jean-Pierre Courtiat
DBLP: Courtiat:Jean=Pierre
Contributed to:
2005
2001
2001Wrote 3 papers:
- 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.
- DocEng-2001-SampaioLC #consistency #documentation #ide
- An integrated environment for the presentation of consistent SMIL 2.0 documents (PNMS, CL, JPC), pp. 115–124.
- 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.