Invariant And NotS. Tabbone
List of bibliographic references
Number of relevant bibliographic references: 8.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000226 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
| 000344 | P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France] | The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography |
| 000381 | Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
| 000428 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
| 000459 | Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and reachability in Event―B |
| 000662 | Karell Bertet [France] ; Jens Gustedt [France] ; Michel Morvan [France] | Weak-order extensions of an order |
| 000966 | S. Adam [France] ; J. M. Ogier [France] ; C. Cariou [France] ; R. Mullot [France] ; J. Labiche [France] ; J. Gardes [France] | Symbol and character recognition : application to engineering drawings |
| 000A15 | Pasi Fr Nti [Finlande] ; Alexey Mednonogov [Finlande] ; Ville Kyrki [Finlande] ; Heikki K Lvi Inen [Finlande] | Content-based matching of line-drawing images using the Hough transform |
| This area was generated with Dilib version V0.6.33. |  |