Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
Mes blogs, web pages
Search This Blog
Followers, Abonnés fidèles
About Me
- Arédius44
- J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
Blog Archive
-
▼
2011
(18)
-
▼
October
(10)
- Tutorial on the Event-Based B Method
- Documents, Articles about the Worldwide Rail Trans...
- The formal method known as B and a sketch for its ...
- B method - An overview through example
- The B Method for programmers
- Composys
- ABZ 2012
- 9th International Conference on Integrated Formal ...
- Rodin User and Developer Workshop, 27-29 February ...
- Une Deuxième Révolution Galiléenne
-
▼
October
(10)
No comments:
Post a Comment