Travelled to:1 × Canada
1 × USA
Collaborated with:J.Courtiat P.N.M.Sampaio L.Apvrille P.d.Saqui-Sannes P.Sénac
Talks about:document (1) present (1) environ (1) consist (1) system (1) profil (1) integr (1) formal (1) design (1) valid (1)
Person: Christophe Lohr
DBLP: Lohr:Christophe
Contributed to:
2001
2001Wrote 2 papers:
- 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.