Blogmarks.net is a social bookmarking service.

Founded in late 2003 and heartquartered in France, we are non-profit and independant.

We believe in the open web, think internet services should be sustainable, build for the long term.

While we are re-launching the service, we only accept new members through invitation.

PUBLIC MARKS from GeorgesMariano with tags Bmethod & 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

del.icio.us cursus formal-methods Bmethod

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

del.icio.us csp cursus formal-methods Bmethod

1 (2 marks)