Abstraction et vérification de programmes informatiques
Les systèmes informatiques offrent une grande flexibilité aux usagers en leur permettant l’accès, notamment par le biais de réseaux de télécommunication ou de l’Internet, à un vaste éventail de services. Toutefois, certains de ces services sont soumis à de fortes contraintes de sécurité, comme le té...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | FR |
| Published: |
Université Laval
2008
|
| Subjects: | |
| Online Access: | http://www.theses.ulaval.ca/2008/25710/25710.pdf |