Affinement And NotV. Y. Lunin
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 |
| 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 |
| 000D27 | ABDELILLAH MOKKEDEM [France] ; D. Mery | On using temporal logic for refinement and compositional verification of concurrent systems |
| This area was generated with Dilib version V0.6.33. |  |