![]() | ![]() |
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 | EE | 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 |
1 | Pierre Lartigue | [1] [2] |