Invariant And NotC. Cariou
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 |
000416 | S. Tabbone [France] ; L. Wendling [France] ; J.-P. Salmon [France] | A new shape descriptor defined on the Radon transform |
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 |
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. |