Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Attali, Isabelle"'
Autor:
Corroenne, Romain, Chesnais, Marion, Khawand, Chelsea, Attali, Isabelle, Boucherie, Anne Sophie, Defrance, Manon, Morgan, Rosemary, Maurey, Louise, Ville, Yves, Salomon, Laurent J
Publikováno v:
In Journal of Gynecology Obstetrics and Human Reproduction September 2023 52(7)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 12 June 2007 180(1):17-34
Autor:
Parigot, Didier, Courbis, Carine, Degenne, Pascal, Fau, Alexandre, Pasquier, Claude, Fillon, Joël, Held, Christophe, Attali, Isabelle
Publikováno v:
In Electronic Notes in Theoretical Computer Science July 2002 65(3):97-116
Autor:
Attali, Isabelle, Courbis, Carine, Degenne, Pascal, Fau, Alexandre, Parigot, Didier, Pasquier, Claude
Publikováno v:
In Electronic Notes in Theoretical Computer Science June 2001 44(2):225-231
Publikováno v:
In Computer Networks 2001 36(4):391-405
Publikováno v:
Accès au texte intégral.
Thèse de doctorat : Informatique : Nice : 2005.
Bibliogr. p. 3-9. Résumés en français et en anglais.
Bibliogr. p. 3-9. Résumés en français et en anglais.
Externí odkaz:
http://www-sop.inria.fr/dias/Theses/phd-141.pdf
Publikováno v:
in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04)
in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), INRIA, Oct 2004, Arica, Chili
in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), INRIA, Oct 2004, Arica, Chili
We present the complete process of a formal specification and verification of the Chilean electronic invoice system which has been defined by the tax agency. We use this case study as a real-world and real-size example to illustrate our methodology f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aa949bf3e1ca2ff931a3ec8905ce39ce
https://inria.hal.science/inria-00087210
https://inria.hal.science/inria-00087210
Autor:
Attali, Isabelle, Courbis, Carine, Degenne, Pascal, Fau, Alexandre, Fillon, Joël, Parigot, Didier, Pasquier, Claude, Sacerdoti Coen, Claudio
Publikováno v:
ICSE Workshop on XML Technologies and Software Engineering
ICSE Workshop on XML Technologies and Software Engineering, May 2001, Toronto, Canada
ICSE Workshop on XML Technologies and Software Engineering, May 2001, Toronto, Canada
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::afe5f4f121dd7e0d1151565753658e83
https://hal.archives-ouvertes.fr/hal-01151517
https://hal.archives-ouvertes.fr/hal-01151517
Publikováno v:
Smart Card Programming and Security ISBN: 9783540426103
E-smart
Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19-21, 2001 Proceedings, 124-134
STARTPAGE=124;ENDPAGE=134;TITLE=Smart Card Programming and Security
E-smart
Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19-21, 2001 Proceedings, 124-134
STARTPAGE=124;ENDPAGE=134;TITLE=Smart Card Programming and Security
With the growing number of smartcard applications there comes an increasing need to restrict access to the card itself. In previous work we proposed the pressure sequence biometric, within which a biometric sensor is integrated onto the card in a low
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::649ecc8d62e788317605880a54006d0b
https://doi.org/10.1007/3-540-45418-7_11
https://doi.org/10.1007/3-540-45418-7_11