المؤلفون: Édouard Réveillaud, Stéphanie Desvaux, Maria-Laura Boschiroli, Jean Hars, Éva Faure, Alexandre Fediaevsky, Lisa Cavalerie, Fabrice Chevalier, Pierre Jabert, Sylvie Poliak, Isabelle Tourette, Pascal Hendrikx, Céline Richomme

المصدر: Frontiers in Veterinary Science, Vol 5 (2018)

مصطلحات موضوعية: bovine tuberculosis, Mycobacterium bovis, surveillance, wildlife, badger, wild boar, Veterinary medicine, SF600-1100

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/article/10.3389/fvets.2018.00262/full; https://doaj.org/toc/2297-1769

URL الوصول: https://doaj.org/article/c4e5e20aba2b4b22b1a4f24c990f365c

المؤلفون: Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

المصدر: Logical Methods in Computer Science, Vol Volume 6, Issue 1 (2010)

مصطلحات موضوعية: computer science - logic in computer science, computer science - computer science and game theory, f.3.1, f.4.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1206/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/b4bdaa5b9a3f4fcdb67d1dc1a15a93a4

المؤلفون: Pierre Jabert, Céline Richomme, Lisa Cavalerie, Sylvie Poliak, Pascal Hendrikx, Alexandre Fediaevsky, Maria Laura Boschiroli, Fabrice Chevalier, Stéphanie Desvaux, Jean Hars, Edouard Réveillaud, Isabelle Tourette, Eva Faure

المساهمون: Laboratoire de santé animale, sites de Maisons-Alfort et de Dozulé, Agence nationale de sécurité sanitaire de l'alimentation, de l'environnement et du travail (ANSES), Office National de la Chasse et de la Faune Sauvage (ONCFS), Fédération Nationale des Chasseurs (FNC), Direction Générale de l'Alimentation (DGAL), Ministère de l'agriculture, de l'agroalimentaire et de la forêt, Association française des Directeurs et cadres de Laboratoires Vétérinaires publics d'Analyses, Fédération nationale des Groupements de Défense Sanitaire (GDS France), Laboratoire de la rage et de la faune sauvage de Nancy (LRFSN), DGAL

المصدر: Frontiers in Veterinary Science
Frontiers in Veterinary Science, Frontiers Media, 2018, 5, pp.262. ⟨10.3389/fvets.2018.00262⟩
Frontiers in Veterinary Science, Vol 5 (2018)

مصطلحات موضوعية: 0301 basic medicine, MESH: Mycobacterium bovis, Veterinary medicine, Badger, 040301 veterinary sciences, [SDV]Life Sciences [q-bio], 030106 microbiology, Wildlife, Wild boar, Bovine tuberculosis, 0403 veterinary science, 03 medical and health sciences, biology.animal, Wildlife management, MESH: Animals, Wild, Mycobacterium bovis, lcsh:Veterinary medicine, Surveillance, General Veterinary, biology, Outbreak, 04 agricultural and veterinary sciences, biology.organism_classification, [SDV.MP.BAC]Life Sciences [q-bio]/Microbiology and Parasitology/Bacteriology, 3. Good health, MESH: Sus scrofa, Roe deer, MESH: France, lcsh:SF600-1100, [SDV.SPEE]Life Sciences [q-bio]/Santé publique et épidémiologie, France, MESH: Tuberculosis, Bovine

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fe8c43e3925838d9bb8e37c34d6c436

المؤلفون: Thomas Brihaye, Patricia Bouyer, Fabrice Chevalier

المصدر: Annals of Pure and Applied Logic. 161(3):268-288

مصطلحات موضوعية: Model checking, Discrete mathematics, Observer (quantum physics), Logic, Hybrid system, Timed automaton, Temporal logic, Computer Science::Formal Languages and Automata Theory, Decidability, Mathematics, Undecidable problem, Automaton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b6323309d963b5e5f58487080ea2183

المؤلفون: Stavros Tripakis, Fabrice Chevalier, Moez Krichen, Patricia Bouyer

المصدر: Journal Européen des Systèmes Automatisés. 39:381-393

مصطلحات موضوعية: Constraint (information theory), Engineering, Control and Systems Engineering, business.industry, Observability, Electrical and Electronic Engineering, Fault (power engineering), business, Conformance testing, Reactive system, Algorithm, Industrial and Manufacturing Engineering, Computer Science Applications

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a90c5a2588fb2dda2e841e7ccba28ede
https://doi.org/10.3166/jesa.39.381-393

المؤلفون: Fabrice Chevalier, Deepak D’Souza, Raj Mohan M., Pavithra Prabhakar

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4ac27149dec7c986438c621f580ddd91
https://doi.org/10.1142/9789814271059_0018

المؤلفون: Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar

المصدر: IndraStra Global.

مصطلحات موضوعية: Discrete mathematics, Logic, Intermediate logic, Mathematical proof, First-order logic, Automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, MathML, Computer Science::Logic in Computer Science, Temporal logic, Natural class, Computer Science::Formal Languages and Automata Theory, Word (computer architecture), Computer Science & Automation, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc24ecbb5477bf9f37cb1bff2c6e0471
http://eprints.iisc.ac.in/25178/1/yuo.pdf

المؤلفون: Fabrice Chevalier, Patricia Bouyer, Thomas Brihaye

مصطلحات موضوعية: FOS: Computer and information sciences, Bisimulation, Computer Science - Logic in Computer Science, Theoretical computer science, General Computer Science, Computer science, Computability, Logic in Computer Science (cs.LO), Theoretical Computer Science, Decidability, Reachability, Computer Science - Computer Science and Game Theory, Hybrid system, F.4.1, F.3.1, Suffix, Equivalence (measure theory), Computer Science::Formal Languages and Automata Theory, Computer Science and Game Theory (cs.GT), Abstraction (linguistics)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e8c432b18337511d400f2e3fd82c8d0
http://arxiv.org/abs/0911.4833

المؤلفون: Pavithra Prabhakar, Fabrice Chevalier, Deepak D'Souza

المصدر: Lecture Notes in Computer Science ISBN: 9783540754534
FORMATS

مصطلحات موضوعية: Pointwise, Discrete mathematics, Class (set theory), Regular language, Computer science, Timed automaton, Periodic sequence, Temporal logic, Characterization (mathematics), Computer Science & Automation, Computer Science::Formal Languages and Automata Theory, Automaton

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fec4d6b7a9ea9d9ca1a6b507191e084b
https://doi.org/10.1007/978-3-540-75454-1_8

المؤلفون: Patricia Bouyer, Fabrice Chevalier, Thomas Brihaye

المصدر: Logical Foundations of Computer Science ISBN: 9783540727323
LFCS

مصطلحات موضوعية: Discrete mathematics, Observer (quantum physics), Hybrid system, Optimal cost, Timed automaton, Hybrid automaton, Computer Science::Formal Languages and Automata Theory, Decidability, Undecidable problem, Mathematics, Automaton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8a4fa428a026287d26abaffbe0114829
https://doi.org/10.1007/978-3-540-72734-7_6