Les lectures obligatoires des références sur internet seront spécifiées sur le site web du cours.

• DOLDI, L., SDL Illustrated - Visually Design Executable Models. Toulouse, France, Laurent Doldi, 2001.
• HOLZMANN, G.J. & American Telephone and Telegraph Company, Design and Validation of Computer Protocols. Englewood Cliffs (NJ), Prentice Hall, 1991.

https://ena.etsmtl.ca/