Using probabilistic temporal logic PCTL and model checking for context prediction

Ameyed, Darine, Miraoui, Moeiz, Zaguia, Atef, Jaafar, Fehmi et Tadj, Chakib. 2018. « Using probabilistic temporal logic PCTL and model checking for context prediction ». Computing and Informatics, vol. 37, nº 6. pp. 1411-1442.
Compte des citations dans Scopus : 1.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: https://doi.org/10.4149/cai_2018_6_1411

Type de document:	Article publié dans une revue, révisé par les pairs
Chercheur(-euse):	Chercheur(-euse) Tadj, Chakib
Affiliation:	Génie électrique
Date de dépôt:	29 mars 2019 18:06
Dernière modification:	29 mars 2019 18:06
URI:	https://espace2.etsmtl.ca/id/eprint/18349

Actions (Authentification requise)

Dernière vérification avant le dépôt