http://www.brama.fr/index-en.php
"Objective : to put in scene your models developed starting enom the language B."
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
-
▼
2014
(36)
-
▼
May
(11)
- Titre du cours 2014-2015 de G. Berry au Collège de...
- Réponses aux questions sur le cours de Gérard Berr...
- The B International Conferences
- Dr Ib Holm Sørensen died January 2012
- Predicate B++
- BMotion Studio, a visual editor
- Le site methode-b.com
- http://www.erts2014.org/ "The ERTS2 Congress is a...
- AFADL 2014
- Méthodes formelles et langages pour le développeme...
- Brama V0.0.22
-
▼
May
(11)
No comments:
Post a Comment