Vérification de propriétés temporisées et hybrides: théorie et applications
Le développement croissant de systèmes embarqués de consommation, où les composants numériques, analogiques et logiciels sont combinés sur une même puce, résulte en une augmentation de la complexité des processus de conception et de vérification. La validation de tels systèmes analogiques et à signa...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00411957 http://tel.archives-ouvertes.fr/docs/00/41/19/57/PDF/thesis-nickovic.pdf |