thesis

Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents

Defense date:

Jan. 1, 2010

Edit

Institution:

Paris 6

Disciplines:

Engineering sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.