public marks

PUBLIC MARKS from GeorgesMariano with tag cursus

21 March 2006

CS611: System Construction Using B

The aim of the course is to give a solid grounding in the B method using the B-Toolkit, concentrating on formal model building aspects, and giving exposure to the other elements of the theory, enabling students to go on to participate in the rigorous buil

09 February 2006

Enseignements Méthodes formelles - Attiogbe Christian

Méthodes et spécifications formelles Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes

GeorgesMariano's TAGS related to tag cursus

Bmethod +   csp + +   formal-methods +