BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Courtiat:Jean=Pierre

Contributed to:

SEFM 20052005
DocEng 20012001
UML 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.