Spécification programme And NotP. D. Mosses
List of bibliographic references
Number of relevant bibliographic references: 10.Ident. | Authors (with country if any) | Title |
---|---|---|
000226 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
000684 | Stephan Merz [France] | On the logic of TLA+ |
000960 | D. Cansell [France] ; D. Mery [France] ; C. Tabacznyj [France] | Tutorial 1 : Abstraction and refinement of concurrent programs and formal specification a practical view |
000A01 | P. Gibson [Irlande (pays)] ; D. Mery [France] | Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach |
000A32 | C. Castro [France] ; E. Monfroy [Pays-Bas] | A control language for designing constraint solvers |
000A76 | H. Kirchner [France] ; P.-E. Moreau [France] | Non-deterministic computations in ELAN |
000A99 | Y. Mokhtari [France] ; S. Merz [Allemagne] | Animating TLA specifications |
000B03 | D. Cansell [France] ; D. Mery [France] | Abstract animator for temporal specifications : Application to TLA |
000B04 | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
000D57 | G.-R. Perrin [France] ; J.-P. Finance [France] | Communication relations : a paradigm for parallel program design |
This area was generated with Dilib version V0.6.33. |