Travelled to:
1 × Canada
Collaborated with:
L.Apvrille P.d.Saqui-Sannes C.Lohr J.Courtiat
Talks about:
system (1) profil (1) formal (1) design (1) valid (1) time (1) real (1) uml (1) new (1)
Person: Patrick Sénac
DBLP: S=eacute=nac:Patrick
Contributed to:
Wrote 1 papers:
- 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.