Monday, January 30, 2012
FM 2012
CALL FOR PAPERS FM 2012
*********************************************
18TH INTERNATIONAL SYMPOSIUMON FORMAL METHODS August 27 - 31, 2012 CNAM, Paris, France http://fm2012.cnam.fr ********************************************* *IMPORTANT DATES: Submission: March 5th, 2012 Notification: May 7th, 2012 Camera ready: June 4th, 2012
Thursday, November 3, 2011
原书名： The B-Book:Assigning Programs to Meanings
点击看大图基本信息
- 作者： [美]Jean-Raymond Abrial, J.-R. Abrial [作译者介绍]
- 译者： 裘宗燕
- 丛书名： 国外计算机科学教材系列
- 出版社：电子工业出版社
- ISBN：7505393391
- 上架时间：2004-7-1
- 出版日期：2004 年6月
- 开本：16开
- 页码：526
- 版次：1-1
Wednesday, November 2, 2011
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
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 |
Thursday, October 6, 2011
Tutorial on the Event-Based B Method
http://www.needocs.com/document/academique-cours-mathematiques-tutorial-on-the-event-based-b-method,9034
tutorial de Dominique Cansell, Dominique Méry
tutorial de Dominique Cansell, Dominique Méry
Subscribe to:
Posts (Atom)
