muc_2009_2010_lecture3
Ceci est une ancienne révision du document !
Lecture 3 : Wcomp middleware and proved components
- Date : January, 5th 2010
- Instructor : J.-Y. Tigli
- Duration : 3h
How to Design Components in WComp Middleware
How to Design Proved Components in WComp Middleware
- Documentation for the tutorial 3 “ Verification with Lustre and Lesar ” : Tutorial 3, Verification with Lustre and Lesar
- Sample code in Lustre: Tutorial 3, sample code in Lustre
- Documentation for the tutorial 2 “Creating an advanced Component in WComp 2.0” : Tutorial 2, Creating an advanced Component in WComp 2.0
muc_2009_2010_lecture3.1262609147.txt.gz · Dernière modification : 2010/01/04 12:45 de tigli