Vérification formelle de systèmes d'information
Cette thèse s'intéresse à l'étude des méthodes formelles de spécification et de vérification dans le cadre des systèmes d'information. Les systèmes d'informations sont des systèmes dynamiques constitués d'entités et d'associations représentées par la composition en para...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | French English |
| Published: |
Université de Sherbrooke
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11143/11630 |