SYTER, conception et définition formelle d'un langage réactif temps-réel
Syter fait partie de la famille des langages réactifs de modélisation et de spécification des systèmes temps-réel. En Syter une application répartie est décomposée en process, entités réactives créées et détruites dynamiquement, qui communiquent entre elles par des mécanismes de rendez-vous et de di...
Description complète
Enregistré dans:
Détails bibliographiques
| Auteurs principaux : |
Herz Dominique
(Auteur),
Elloy Jean-Pierre
(Directeur de thèse) |
| Collectivités auteurs : |
Université de Nantes 1962-2021
(Organisme de soutenance),
Centrale Nantes 1991-....
(Autre partenaire associé à la thèse) |
| Format : |
Thèse ou mémoire |
| Langue : |
français |
| Titre complet : |
SYTER, conception et définition formelle d'un langage réactif temps-réel / Dominique Herz; [sous la direction de Jean-Pierre Elloy] |
| Publié : |
[Lieu de publication inconnu] :
[Éditeur inconnu]
, 1990
|
| Description matérielle : |
1 vol. ((168 p.) |
| Note de thèse : |
Thèse de doctorat : Automatique, informatique industrielle : Nantes : 1990 |
| Sujets : |
|
Nantilus
