Denis Sabatier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

1 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. World Congress on Formal Methods 1999: 348-368

	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
1		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. World Congress on Formal Methods 1999: 348-368

Coauthor Index