Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000B04 | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
000B07 | M. Heisel [Allemagne] ; J. Souquieres [France] | A method for requirements elicitation and formal specification |
000B26 | T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France] | Assistance au développement de spécifications de protocoles de communication |
000D18 | J. Souquieres [France] ; R. Darimont | La description du développement de spécifications |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |