Prev Up Next
Go backward to Workshops
Go up to Top
Go forward to Published or Submitted Papers

Tutorials

A 5 hours tutorial on the language Lustre and the verification tools Lesar and Lucifer was given at the "Forum on Design Languages", FDL'99 (Lyon, France, Aug. 30 - Sept. 3, 1999)

Two partners participated in an industry tutorial on Avionics Systems, part of the "World Congress on Formal Methods", FM'99 (Toulouse, France, September 20-24, 1999).

An extended version of the tutorial on Stålmarck method will appear in "Formal Methods in System Design".


This page has been automatically generated using Hyperlatex.

Prev Up Next