skip to main | skip to sidebar

The B method : from Research to Teaching

Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010

Sunday, January 5, 2014

The Canarsie Line CBTC Experience

http://en.wikipedia.org/wiki/BMT_Canarsie_Line

http://www.cnrs.fr/Cnrspresse/n401/pdf/n401rd09.pdf

http://www.clearsy.com/pdf/b2007_b_in_large_scale_projects_siemens.pdf

http://www.fabienne.chaplais.fr/page19/styled-5/page32/http://www.fabienne.chaplais.fr/page19/styled-5/page32/
Posted by Arédius44 at 6:20 PM No comments:
Labels: applications

Systerel

http://www.systerel.fr/

http://www.systerel.fr/Formation-a-la-methode-B.html
http://www.systerel.fr/Techniques-de-preuve-en-B.html
http://www.systerel.fr/Approche-B-systeme.html
Posted by Arédius44 at 5:13 PM No comments:
Labels: Atelier B, courses, event-B

DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B

http://research.nii.ac.jp/eventb2012/index.html

Proceedings :
http://www.cs.ncl.ac.uk/publications/trs/papers/1355.pdf
Posted by Arédius44 at 5:09 PM No comments:
Labels: Conferences

Atelier B とは?

L'Atelier B est maintenant traduit en japonais
http://www.atelierb.eu/ja/
Posted by Arédius44 at 4:15 PM No comments:
Labels: Atelier B
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Mes blogs, web pages

  • Mon principal blog
  • Pages web

Search This Blog

Followers, Abonnés fidèles

About Me

My photo
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
View my complete profile

Blog Archive

  • ►  2019 (5)
    • ►  June (1)
    • ►  January (4)
  • ►  2018 (6)
    • ►  January (6)
  • ►  2017 (2)
    • ►  January (2)
  • ►  2016 (16)
    • ►  June (2)
    • ►  March (14)
  • ►  2015 (14)
    • ►  November (2)
    • ►  September (1)
    • ►  June (1)
    • ►  March (10)
  • ▼  2014 (36)
    • ►  December (7)
    • ►  November (1)
    • ►  September (2)
    • ►  July (1)
    • ►  June (1)
    • ►  May (11)
    • ►  April (6)
    • ►  February (3)
    • ▼  January (4)
      • The Canarsie Line CBTC Experience
      • Systerel
      • DS-Event-B-2012: Workshop on the experience of and...
      • Atelier B とは?
  • ►  2013 (28)
    • ►  December (9)
    • ►  November (4)
    • ►  October (11)
    • ►  September (1)
    • ►  August (1)
    • ►  April (2)
  • ►  2012 (4)
    • ►  March (2)
    • ►  January (2)
  • ►  2011 (18)
    • ►  November (3)
    • ►  October (10)
    • ►  June (1)
    • ►  February (4)
  • ►  2010 (52)
    • ►  December (1)
    • ►  November (2)
    • ►  October (28)
    • ►  June (6)
    • ►  May (3)
    • ►  April (2)
    • ►  March (4)
    • ►  February (2)
    • ►  January (4)
  • ►  2009 (41)
    • ►  December (2)
    • ►  November (5)
    • ►  September (1)
    • ►  August (3)
    • ►  June (6)
    • ►  May (14)
    • ►  March (2)
    • ►  February (5)
    • ►  January (3)
  • ►  2008 (64)
    • ►  December (2)
    • ►  October (4)
    • ►  September (4)
    • ►  June (13)
    • ►  May (28)
    • ►  April (4)
    • ►  February (4)
    • ►  January (5)
 
Locations of visitors to this page