Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

The insect repellent N,N-diethyl-m-toluamide (DEET) induces angiogenesis via allosteric modulation of the M3 muscarinic receptor in endothelial cells

International audience