Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Gervais, Frédéric"'
Autor:
Reallon, Elsa1 (AUTHOR) elsa.reallon@chu-lyon.fr, Gervais, Frédéric1 (AUTHOR), Moutet, Claire2 (AUTHOR), Dauphinot, Virginie2 (AUTHOR), Desnavailles, Pauline2 (AUTHOR), Novais, Teddy1,3 (AUTHOR), Krolak-Salmon, Pierre2,4 (AUTHOR), Garnier-Crussard, Antoine2,5 (AUTHOR), Mouchoux, Christelle1 (AUTHOR), Makaroff, Zaza (AUTHOR), Coste, Marie-Hélène (AUTHOR), Dautricourt, Sophie (AUTHOR), Rouch, Isabelle (AUTHOR), Danaila, Keren (AUTHOR), Waissi, Aziza (AUTHOR), Dorey, Jean-Michel (AUTHOR), Sarciron, Alain (AUTHOR), Guilhermet, Yves (AUTHOR), Gaujard, Sylvain (AUTHOR), Grosmaître, Pierre (AUTHOR)
Publikováno v:
Alzheimer's Research & Therapy. 7/23/2024, Vol. 16 Issue 1, p1-7. 7p.
Autor:
Reallon, Elsa1 (AUTHOR) elsa.reallon@chu-lyon.fr, Gervais, Frédéric1 (AUTHOR), Moutet, Claire2 (AUTHOR), Dauphinot, Virginie2 (AUTHOR), Desnavailles, Pauline2 (AUTHOR), Novais, Teddy1,3 (AUTHOR), Krolak‑Salmon, Pierre2,4 (AUTHOR), Garnier‑Crussard, Antoine2,5 (AUTHOR), Mouchoux, Christelle1 (AUTHOR), Garnier-Crussard, Antoine (AUTHOR), Makaroff, Zaza (AUTHOR), Coste, Marie-Hélène (AUTHOR), Dautricourt, Sophie (AUTHOR), Rouch, Isabelle (AUTHOR), Danaila, Keren (AUTHOR), Waissi, Aziza (AUTHOR), Dorey, Jean-Michel (AUTHOR), Sarciron, Alain (AUTHOR), Guilhermet, Yves (AUTHOR), Gaujard, Sylvain (AUTHOR)
Publikováno v:
Alzheimer's Research & Therapy. 8/29/2024, Vol. 16 Issue 1, p1-3. 3p.
Autor:
Cerfon, Marie-Anne, Vernaudon, Julien, Gervais, Frédéric, Morelon, Emmanuel, Coste, Marie-Hélène, Krolak-Salmon, Pierre, Mouchoux, Christelle, Novais, Teddy *
Publikováno v:
In Nephrologie et Thérapeutique February 2022 18(1):45-51
Publikováno v:
EPTCS 209, 2016, pp. 1-16
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was de
Externí odkaz:
http://arxiv.org/abs/1606.02016
Autor:
Maxeiner, Joachim, Sharma, Rahul, Amrhein, Carolin, Gervais, Frederic, Duda, Maria, Ward, Jonathan, Mikkelsen, Lars Friis, Forster, Roy, Malewicz, Michal, Krishnan, Jaya
Publikováno v:
In Journal of Pharmacological and Toxicological Methods March-April 2021 108
Autor:
Gervais, Frédéric
L'objectif de cette thèse est de profiter des avantages de deux formes de modélisation complémentaires pour représenter de manière formelle les systèmes d'information (SI). Un SI est un système informatisé qui permet de rassembler les informa
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00121006
http://tel.archives-ouvertes.fr/docs/00/12/10/06/PDF/These-Gervais-Decembre2006.pdf
http://tel.archives-ouvertes.fr/docs/00/12/10/06/PDF/These-Gervais-Decembre2006.pdf
Publikováno v:
Dans ZB 2003: Formal Specification and Development in Z and B, 2651 (2003) 40-57
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern means instantiating it or composing it with other s
Externí odkaz:
http://arxiv.org/abs/cs/0610097
Autor:
Strupp, Christian, Bomann, Werner H., Spézia, François, Gervais, Frédéric, Forster, Roy, Richert, Lysiane, Singh, Pramila
Publikováno v:
In Regulatory Toxicology and Pharmacology June 2018 95:348-361
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.
Autor:
Dagher, Rafif, Watzinger, Malene, Chevalier, Guillaume, Thirion-Delalande, Catherine, Gervais, Frederic, Forster, Roy
Publikováno v:
In Regulatory Toxicology and Pharmacology October 2015 73(1):401-412