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 × 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 DBLP: Saqui-Sannes:Pierre_de

Contributed to:

TestCom/FATES 20092009
SEFM 20052005
UML 20012001

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

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.