Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils
Ce travail porte sur la programmation et la verification des systemes reactifs. Il consiste dans une premiere partie en la definition d'un langage mixte imperatif/declaratif, nomme ArgoLus, fonde sur les langages synchrones Argos et Lustre. Argos est un langage imperatif a base d'automates...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1994
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00005099 http://tel.archives-ouvertes.fr/docs/00/04/63/70/PDF/tel-00005099.pdf |