Searching for authors named "Denis Sabatier" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The use of the B formal method for the design and the validation of the transaction mechanism for smart card applications
by Denis Sabatier, Pierre Lartigue — 1999
…This document describes an industrial application of the B method in smart card applications. In smart card memory, data modification may be interrupted due to a card withdrawal or a power loss. The EEPROM memory may result in an unstable state and the values subsequently read may be erroneous. …
Cited by 9 (0 self) – Add To MetaCart

A Discipline of B
by Fernando Mejia, Ranan Fraer, Denis Sabatier
…. Despite the evident progress in the evolution of formal meth ods, they are still very diOEcult to use. One reason is the lack of paradigms explaining how to make a good use of a particular method. We try to explain some of these paradigms in the case of the B method and exem plify them in the spec…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB