Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité
La fiabilité des logiciels est un facteur critique de notre société~: toute panne, tout bogue, tout dysfonctionnement, perturbe la bonne marche de nos activités avec parfois des conséquences humaines, financières ou morales importantes. Contrairement à d'autres domaines industriels plus anciens...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Franche-Comté
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00432301 http://tel.archives-ouvertes.fr/docs/00/43/23/01/PDF/HDRpch.pdf http://tel.archives-ouvertes.fr/docs/00/43/23/01/ANNEX/remer.pdf |