Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Laurence Pierre

Laurence Pierre

at_id:

orcid_id:

Disciplines:

Computer sciences
Industrial engineering
Edit Merge See Links

Directed Thesis:

Tests automatisés dirigés par les exigences pour systèmes cyber-physiques
Génération de séquences de test pour l'accélération d'assertions
Vérification de propriétés logico-temporelles de spécifications SystemC TLM
Méthodes pour la vérification formelle de systèmes matériels et logiciels à architecture régulière