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

Extracorporeal circuit for Panton-Valentine leukocidin-producing Staphylococcus aureus necrotizing pneumonia [Traitement par ECMO d'une pneumopathie nécrosante à Staphylococcus aureus producteur de la leucocidine de Panton-Valentine]

National audience