Vérification et dépliages de réseaux de Petri temporels paramétrés
<p>Les travaux présentés portent sur l'étude de méthodes de vérification paramétrée des systèmes temps réels. La motivation pour ces recherches est de proposer des méthodes formelles à appliquer sur des systèmes dont les spécifications ne sont pas encore complètes. Des paramètres sont don...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Nantes
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00466429 http://tel.archives-ouvertes.fr/docs/00/46/64/29/PDF/manuscrit_these_traonouez.pdf http://tel.archives-ouvertes.fr/docs/00/46/64/29/ANNEX/soutenance_these_traonouez.pdf |