-
1دورية أكاديمية
المؤلفون: Amélie Cèbe, Bérangère Dessane, Pauline Gohier, Jean-Marc Bernadou, Arnaud Venet, Fabien Xuereb, Sylvie Crauste-Manciet
المصدر: Pharmaceutics, Vol 15, Iss 3, p 905 (2023)
مصطلحات موضوعية: drug shortages, propofol, nanoemulsion, sterile, hospital preparation, Pharmacy and materia medica, RS1-441
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Jeremie Zerbit, Marion Detroit, Sylvie Chevret, Frederic Pene, Charles-Edouard Luyt, Jade Ghosn, Frederic Eyvrard, Guillaume Martin-Blondel, Benjamine Sarton, Raphael Clere-Jehl, Pierre Moine, Amelie Cransac, Pascal Andreu, Marie Labruyère, Laetitia Albertini, Jean-François Huon, Pauline Roge, Lise Bernard, Magali Farines-Raffoul, Maxime Villiet, Arnaud Venet, Louis Marie Dumont, Jean-Daniel Kaiser, Claire Chapuis, François Goehringer, François Barbier, Stephane Desjardins, Younes Benzidi, Nora Abbas, Corinne Guerin, Rui Batista, Jean-François Llitjos, Marie Kroemer
المصدر: Journal of Clinical Medicine, Vol 11, Iss 21, p 6545 (2022)
مصطلحات موضوعية: remdesivir, COVID-19, survival, pneumonia, SARS-CoV-2, Medicine
وصف الملف: electronic resource
-
3
المؤلفون: Aasfa Khan, Arnaud Venet, Jean-Marc Bernadou, Sylvie Cresto, Vincent Servant, Hélène Boulestreau, Fabien Xuereb, Sylvie Crauste-Manciet
المصدر: Pharmaceutical Technology in Hospital Pharmacy. 7
مصطلحات موضوعية: Pharmacology, Pharmacology (medical), Pharmacy
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::85e2ef9dadc4929cb6263676e3df7b4c
https://doi.org/10.1515/pthp-2021-0010 -
4
-
5
المؤلفون: Arnaud Venet
المصدر: ACM SIGAda Ada Letters. :92-95
مصطلحات موضوعية: High-level verification, Functional verification, business.industry, Computer science, Programming language, Runtime verification, Formal methods, computer.software_genre, Intelligent verification, General Earth and Planetary Sciences, Verification, Software engineering, business, Formal verification, computer, Software verification, General Environmental Science
-
6
المؤلفون: Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Rich Washington
المصدر: Formal Methods in System Design. 25:167-198
مصطلحات موضوعية: Hardware and Architecture, Software, Theoretical Computer Science
-
7كتاب إلكتروني
المؤلفون: Guillaume Brat, Neha Rungta, Arnaud Venet
نوع المادة: eBook.
الموضوعات: Software engineering, Compilers (Computer programs), Operating systems (Computers), Computer science, Computer programming
-
8
المؤلفون: Nija Shi, Guillaume Brat, Arnaud Venet, Jorge A. Navas
المصدر: Software Engineering and Formal Methods ISBN: 9783319104300
SEFMمصطلحات موضوعية: Class (computer programming), Intermediate language, Software, business.industry, Computer science, Scalability, Certification, Static analysis, Software engineering, business, Abstract interpretation, Buffer overflow, Domain (software engineering)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9a0de9133d6dc5a91bf8fbe5d1cc6de6
https://doi.org/10.1007/978-3-319-10431-7_20 -
9
المؤلفون: Axel Simon, Arnaud Venet
المصدر: Electronic Notes in Theoretical Computer Science. 307:1-2
مصطلحات موضوعية: General Computer Science, Theoretical Computer Science, Computer Science(all)
-
10
المؤلفون: Guillaume Brat, Neha Rungta, Arnaud Venet
المصدر: Lecture Notes in Computer Science ISBN: 9783642380877
NASA Formal Methodsمصطلحات موضوعية: Computer science, Systems engineering, Formal methods
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d8cd574be1f5a5ee6b849433208fa194
https://doi.org/10.1007/978-3-642-38088-4