ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 25/3 - 2006  - pp.287-288
TITRE
Editorial

RÉSUMÉ
Les applications temps-réel peuvent être modélisées par des automates temporisés ou hybrides ou encore des extensions temporisées des réseaux de Petri. Les techniques du model checking implantées dans différents outils comme KRONOS, UPPAAL, TINA ou HYTECH, peuvent ensuite être utilisées pour vérifier des propriétés impliquant des informations quantitatives, par exemple « le traitement de l’alarme aura lieu en moins de 10 secondes après son apparition ».
[...]

AUTEUR(S)


LANGUE DE L'ARTICLE
Français

 PRIX
GRATUIT
   
ACCÉDER A L'ARTICLE COMPLET  (15 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier