 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Meteor: A Successful Application of B in a Large Project |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Der Artikel beschreibt den erfolgreichen Einsatz der B-Methode. Die Linie 18 der Pariser Metro ist unbemannt. Sie wird automatisch gesteuert. Diese Linie wurde 1998 in Betrieb genommen.
Der Artikel beschreibt, wie die B-Methode zum Bau der Metro-Steuerung eingesetzt wurde. | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| P. Behm P Benoit A. Faivre J-M. Mynadier | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Konferenzbeitrag | |||||||||
| |||||||||
| Verlag | |||||||||
| |||||||||
| Springer | |||||||||
| |||||||||
| BibTeX-Eintrag | |||||||||
| |||||||||
| @proceedings{fm99, editor = {J. M. Wing and J. Woodcock and J. Davies}, title = {FM'99 - Formal Methods}, booktitle = {World Congress on Formal Methods}, publisher = {Springer}, series = {LNCS}, volume = {1708}, year = {1999} } | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Meteor: A Successful... | ||||
| ||||
| ||||
| ||||
| ||||
| Dokumentiert Erfahrungen | | ||
| ||||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
