dblp.uni-trier.dewww.uni-trier.de

Denis Sabatier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
3 Denis Sabatier: Reusing formal models. IFIP Congress Topical Sessions 2004: 613-620
2000
2 Denis Sabatier, Pierre Lartigue: The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. Formal Methods in System Design 17(3): 245-272 (2000)
1999
1EEDenis Sabatier, Pierre Lartigue: The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. World Congress on Formal Methods 1999: 348-368

Coauthor Index

1Pierre Lartigue [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)