Abstraction And NotAkram Idani
List of bibliographic references
Number of relevant bibliographic references: 13.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 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 |
| 000632 | David Deharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-driven verification of array programs |
| 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. |  |