Météor: A successful application of b in a large project

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 369-387

  Behm, Patrick ^a   Benoit, Paul ^a   Faivre, Alain ^a   Meynadier, Jean Marc ^a  

^a MATRA Transport International   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTROL UNIT; DRIVERLESS METRO; INDUSTRIAL DEVELOPMENT; LARGE PROJECT; LEVEL OF SAFETIES; SAFETY CRITICAL SOFTWARE;

FORMAL METHODS;

EID: 84958060420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_22     Document Type: Conference Paper

References (4)

1. [Abr96] Abrial J.R., The B-Book (1996).
2. [BMB99] Burdy L., Dollé D., B Method Book; Internal document ref. DRL/XT/39.2617.98/DD/AA (1999).
3. [BVB99] Faivre A., Milonnet C., B Validation Book; Internal document ref. DSF/XT/32.1374.96/CM/CM (1999).
4. [BM99] Burdy L., Meynadier J.-M., Automatic Refinement; BUGM at FM'99 (1999)