| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Robustness of timed automata : computing the maximally-permissive strategies
Date de publication :
11-03-2022 |
Auteur(s) :
Clément Emily |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Les systèmes temps-réels nécessitent parfois d’être prouvés formellement, en particulier les systèmes temps-réels contenant des parties critiques, comme les avions, les voitures... Les automates temporisés constituent un modèle mathématique commode pour cela. Cependant, même s’ils fournissent une représentation des aspects temporels de ces systèmes, les automates temporisés supposent une précision...
Référencé le :
12-05-2022
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
