原书名： The B-Book:Assigning Programs to Meanings

点击看大图 定价 ： ￥57.00 普通会员 ： ￥51.30 1-3星会员： ￥50.16 4-5星会员： ￥48.45 团购急调缺货预定

促销活动

基本信息

• 原书名： The B-Book:Assigning Programs to Meanings
• 原出版社： Cambridge University Press

• 作者： [美]Jean-Raymond Abrial, J.-R. Abrial    [作译者介绍]
• 译者： 裘宗燕
• 丛书名： 国外计算机科学教材系列
• 出版社：电子工业出版社
• ISBN：7505393391
• 上架时间：2004-7-1
• 出版日期：2004 年6月
• 开本：16开
• 页码：526
• 版次：1-1

Techniques industrielles de modélisation formelle pour le transport

Introduction - Jean-Louis BOULANGER
1. Une approche innovante et une aventure humaine au service
de la sécurité ferroviaire - Sylvain FIORONI
2. SAET-METEOR - Jean-Louis BOULANGER
3. Preuve de propriétés globales à l’aide de l’outil de preuve SIMULINK
DESIGN VERIFIER - Véronique DELEBARRE, Jean-Frédéric ETIENNE
4. Démonstration de la sécurité d’une application ferroviaire de signalisation
en mode nominal et en modes dégradés par la preuve formelle
Jean-Marc MOTA, Evguenia DMITRIEVA, Amel MAMMAR, Paul CASPI,
Salimeh BEHNIA, Nicolas BRETON, Pascal RAYMOND
5. Utilisation de la preuve formelle dans le CBTC (OCTYS)
Christophe TREMBLIN, Pierre LESOILLE, Omar REZZOUG
6. Validation d’automatismes ferroviaires de sécurité à base de réseaux
de Petri - Marc ANTONI
7. ERTMS Formal Specs : un langage dédié pour la formalisation
des spécifications pour le développement d’unité bord ERTMS
Laurent FERIER, Stanislas PINTE, Darius BLASBAND, Svitlana LUKICHEVA
8. Synthèse et conclusions - Jean-Louis BOULANGER
Glossaire
Bibliographies. Index

http://www.lavoisier.fr/livre/h3230.html

Fourth NASA Formal Methods Symposium

SECOND CALL FOR PAPERS NFM 2012 Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/ nasa-nfm2012@mail.nasa.gov