FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Peer reviewed article published in a journal
Professor:
Professor
Tadj, Chakib
Affiliation: Génie électrique
Date Deposited: 29 Mar 2019 18:06
Last Modified: 29 Mar 2019 18:06
URI: https://espace2.etsmtl.ca/id/eprint/18349

Actions (login required)

View Item View Item