A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Adipose-derived stem cell adhesion on laminin-coated microcarriers improves commitment toward the cardiomyogenic lineage

International audience

PPARα regulates endothelial progenitor cell maturation and myeloid lineage differentiation through a NADPH oxidase-dependent mechanism in mice

International audience

A Coopetition Space for Complex Product Specification

Part 3: Product-Service Systems