ICTAC Tutorial, Tunis, November 20, 2006 Access to slides
Specification of complex systems 
L. Petrucci (Univ. Paris XIII)
01-L_Petrucci.pdf
Writing formal specifications: methodology issues for different notation
C. Choppy (Univ. Paris XIII)
02-C_Choppy.pdf
Verification of Distributed Systems, an overview
S. Haddad (Univ. Paris Dauphine)
03-S_Haddad.pdf
Symbolic Model Checking: decision diagrams and symmetries
Y. Thierry-Mieg (Univ. P. & M. Curie)
04-Y-Thierry-Mieg.pdf
Using Formal techniques to verigy the PolyORB Middleware
F. Kordon (Univ. P. & M. Curie)
05-F_Kordon.pdf
Designing Adaptative Real-Time Systems Using Timed Automata
H. Klaudel (Univ. Evry Val d’Essone)
06-H_Klaudel.pdfTutorial ICTACT'2006_files/01-L_Petrucci.pdfTutorial ICTACT'2006_files/02-C_Choppy.pdfTutorial ICTACT'2006_files/03-S_Haddad.pdfTutorial ICTACT'2006_files/04-Y-Thierry-Mieg.pdfTutorial ICTACT'2006_files/05-F_Kordon.pdfTutorial ICTACT'2006_files/06-H_Klaudel.pdfshapeimage_3_link_0shapeimage_3_link_1shapeimage_3_link_2shapeimage_3_link_3shapeimage_3_link_4shapeimage_3_link_5
L. Petrucci during the ICTAC tutorial on Monday, November 20, 2006
This tutorial was handled by the MeFoSyLoMa group and follows the content of a book (written in french)http://mefosyloma.cnam.fr/http://www.lavoisier.fr/fr/livres/index.asp?texte=2746214470&select=isbn&from=Hermesshapeimage_5_link_0shapeimage_5_link_1