Invariant And NotHeikki K Lvi Inen
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 |
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 |
This area was generated with Dilib version V0.6.33. |