Développement d’un système de vérification des systèmes embarqués
Loading...
Files
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA
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.