-
1دورية أكاديمية
المؤلفون: Margaux, François, Rataud, Amalia, Sara, Moutailler, Galon, Clémence, Pierre-Yves, Henry, Marsot, Maud, Canini, Laetitia
المساهمون: Université Paris-Est (UPE), Biologie moléculaire et immunologie parasitaires et fongiques (BIPAR), École nationale vétérinaire d'Alfort (ENVA)-Laboratoire de santé animale, sites de Maisons-Alfort et de Normandie, Agence nationale de sécurité sanitaire de l'alimentation, de l'environnement et du travail (ANSES)-Agence nationale de sécurité sanitaire de l'alimentation, de l'environnement et du travail (ANSES)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Mécanismes adaptatifs : des organismes aux communautés, Muséum national d'Histoire naturelle (MNHN)-Centre National de la Recherche Scientifique (CNRS), Conservation des espèces, Restauration et Suivi des Populations (CERSP), Muséum national d'Histoire naturelle (MNHN)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Epidémiologie (EPI), Laboratoire de santé animale, sites de Maisons-Alfort et de Normandie, Agence nationale de sécurité sanitaire de l'alimentation, de l'environnement et du travail (ANSES)-Agence nationale de sécurité sanitaire de l'alimentation, de l'environnement et du travail (ANSES)
المصدر: ISSN: 0754-2186 ; Epidémiologie et Santé Animale ; https://hal.science/hal-04372028Test ; Epidémiologie et Santé Animale, 2023, 81, pp.131-144.
مصطلحات موضوعية: phylogénie, arbre phylogénétique, Bbsl, Borrelia garinii, oiseaux, France, tiques, [SDV.SPEE]Life Sciences [q-bio]/Santé publique et épidémiologie
العلاقة: hal-04372028; https://hal.science/hal-04372028Test
الإتاحة: https://hal.science/hal-04372028Test
-
2
مصطلحات موضوعية: theorem proving, 形式的検証, ComputingMilieux_THECOMPUTINGPROFESSION, BBSL, Coq, ComputerApplications_COMPUTERSINOTHERSYSTEMS, formal method, formal verification, 定理証明, 形式手法
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=jairo_______::b6eb9fe0192fa26a69173d496cdf6000Test
http://hdl.handle.net/10119/17083Test -
3
-
4
المؤلفون: 宇田, 拓馬
المساهمون: うだ, たくま
مصطلحات موضوعية: 形式手法, formal method, 定理証明, theorem proving, BBSL, Coq, 形式的検証, formal verification
وصف الملف: application/pdf