Abstraction And NotDavid Deharbe
List of bibliographic references
Number of relevant bibliographic references: 13.Ident. | Authors (with country if any) | Title |
---|---|---|
000154 | Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
000171 | Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
000253 | Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France] | Architecture of a morphological malware detector : EICAR 2008 |
000383 | Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
000527 | Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A proof of weak termination providing the right way to terminate |
000574 | Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | Rewriting calculus with fixpoints: Untyped and first-order systems |
000627 | Sandra Berasaluce [France] ; Claude Laurenco [France] ; Amedeo Napoli [France] ; Gilles Niel [France] | An experiment on knowledge discovery in chemical databases |
000875 | Philippe De Groote [France] | Towards abstract categorial grammars |
000978 | D. Cansell [France] ; D. Mery [France] | Playing with abstraction and refinement for managing features interactions : A methodological approach to feature interaction problem |
000C52 | Systèmes à objets : tendances actuelles et évolution | |
000C69 | J. Malenfant [Canada] | Abstraction et encapsulation en programmation par prototypes |
000D27 | ABDELILLAH MOKKEDEM [France] ; D. Mery | On using temporal logic for refinement and compositional verification of concurrent systems |
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. |