Zobrazeno 1 - 10
of 41
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:
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
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540421672
Java Card Workshop
Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000, Revised Papers, 52-72
STARTPAGE=52;ENDPAGE=72;TITLE=Java on Smart Cards: Programming and Security
Java Card Workshop
Java on Smart Cards: Programming and Security: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000, Revised Papers, 52-72
STARTPAGE=52;ENDPAGE=72;TITLE=Java on Smart Cards: Programming and Security
Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ec16d4a335841db19618544e8fa5f8d
https://doi.org/10.1007/3-540-45165-x_5
https://doi.org/10.1007/3-540-45165-x_5