Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et pour lesquels un dysfonctionnement peut avoir...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016CNAM1057/document |