Développement d’un système de vérification des systèmes embarqués
| dc.contributor.author | Bakri, Asma | |
| dc.date.accessioned | 2018-01-30T12:00:42Z | |
| dc.date.available | 2018-01-30T12:00:42Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | Les systèmes embarqués sont des systèmescomplexes qui posent le problème lors de leurs modélisations et de vérification Ce travail permet de développer un système de modélisation et de vérification en utilisent UML et model-checking. | en_US |
| dc.identifier.uri | https://depot.univ-msila.dz/handle/123456789/1777 | |
| dc.language.iso | fr | en_US |
| dc.publisher | FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA | en_US |
| dc.subject | UML, maude, LTL, ATOM3 , model checking. | en_US |
| dc.title | Développement d’un système de vérification des systèmes embarqués | en_US |
| dc.type | Thesis | en_US |