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
Labels: applications

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (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