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

International audience

Développement et validation d’une méthode de dosage des traces de détergents inactivants totaux du prion

International audience

Design and validation of a novel generic platform for the production of tetravalent IgG1-like bispecific antibodies

International audience