|
|
| Description | File |
| "Applying SDL for real-time systems development: a lip-synchronisation case study" - R. Sinnott (EPK Ericsson) | PPT |
| "Real-time extensions to MSC-2000 and TTCN-3" - H. Neukirchen (ITM Luebeck) | PDF / PPT |
| Description | File | |
| "Timed Extensions for SDL" - M. Bozga, S. Graf, L. Mounier (Verimag); I. Ober, J.L. Roux (Telelogic); D. Vincent (France Telecom) | June 2001 | PDF / PPT |
| "Verification of quantitative temporal properties of SDL specifications" - I. Ober, A. Kerbrat (Telelogic) | June 2001 |