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
-
▼
2013
(28)
-
▼
October
(11)
- Correct-by-Construction Development of Dependable ...
- Investigation of the B Method
- REVERSIBLE COMPUTATIONS IN B
- Formal Development of System of Systems
- A rigorous reasoning about model transformations u...
- ICFEM 2013, 15th International Conference on Forma...
- Call for Papers: Formal Methods 2014 (FM 2014), Si...
- Case study, the landing system
- Cours et Travaux dirigés de spécification
- The first "B International Conferences"
- 4th International ABZ 2014 Conference ASM, Alloy,...
-
▼
October
(11)
No comments:
Post a Comment