Affinement And NotABDELILLAH MOKKEDEM
List of bibliographic references
Number of relevant bibliographic references: 8.Ident. | Authors (with country if any) | Title |
---|---|---|
000348 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France] | Specification and refinement of mobile systems in MTLA and mobile UML |
000383 | Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
000587 | P. V. Afonine [France] ; A. Urzhumtsev [France] | On a fast calculation of structure factors at a subatomic resolution |
000692 | Pavel Afonine [France] ; Vladimir Y. Lunin [France, Russie] ; Alexandre Urzhumtsev [France] | MLMF: least-squares approximation of likelihood-based refinement criteria |
000795 | V. Y. Lunin [Russie, France] ; P. V. Afonine [France] ; A. G. Urzhumtsev [France] | Likelihood-based refinement. I. Irremovable model errors |
000800 | Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
000978 | D. Cansell [France] ; D. Mery [France] | Playing with abstraction and refinement for managing features interactions : A methodological approach to feature interaction problem |
000C54 | J. Jaray [France] ; A. Mahjoub [Tunisie] | Une méthode itérative de construction d'un modèle de système réactif |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |