13 citations
- Centre National de la Recherche ScientifiqueFR2 papers
- Université d'Évry Val-d'EssonneFR2 papers
- Université Paris CitéFR2 papers
- Centre Hospitalier Universitaire de PoitiersFR1 paper
- InsermFR1 paper
- Institut de Recherche en Infectiologie de MontpellierFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire de Recherche en InformatiqueFR1 paper
- Laboratoire de Statistique Théorique et AppliquéeFR1 paper
- Laboratoire d'Informatique de Paris-NordFR1 paper
- Laboratoire Jacques-Louis LionsFR1 paper
- Laboratoire Traitement du Signal et de l'ImageFR1 paper
Showing 2008Show all
2 papers · 1 filter
q-bio.TO2008★ 13 cited
SAPHIR - a multi-scale, multi-resolution modeling environment targeting blood pressure regulation and fluid homeostasis
S. Randall Thomas, Enas Abdulhay, Pierre Baconnier +9
We present progress on a comprehensive, modular, interactive modeling environment centered on overall regulation of blood pressure and body fluid homeostasis. We call the project S…
cs.PL2008★ 1 cited
Testing data types implementations from algebraic specifications
Marie-Claude Gaudel, Pascale Le Gall
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a…