Détail de l'auteur
Documents disponibles écrits par cet auteur
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche
texte imprimé
Le domaine de la synthèse de contrôleur et de l'ordonnancement de processus temps-réel a récemment bénéficié d'avancées théoriques et d'outils pratiques issus du domaine de la vérification de systèmes temporises : les techniques de model checkin[...]
