Méthode B And NotD. Mery
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000852 | Dominique Cansell [France] ; Jacques Jaray [France] | Utilisation de B pour l'aide à la spécification d'un système de diagnostic |
000B04 | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |