Probabilistic Interface Automata

Afficher la notice abrégée

dc.contributor.author Pavese, Esteban
dc.contributor.author Braberman, Viýctor
dc.contributor.author Uchitel, Sebastian
dc.date.accessioned 2022-10-26T09:08:17Z
dc.date.available 2022-10-26T09:08:17Z
dc.date.issued 2016
dc.identifier.uri http://repository.usthb.dz//xmlui/handle/123456789/9251
dc.description 843-865 p. ; 879ko. en_US
dc.language.iso en en_US
dc.publisher Institute of electrical and electronics engineers en_US
dc.relation.ispartofseries Institute of electrical and electronics engineers;vol.42-2016
dc.subject Ingénierie de la fiabilité en_US
dc.subject Langages formels en_US
dc.subject AUTOMATH (langage formel) en_US
dc.subject Automates mathématiques, Théorie des en_US
dc.subject Interface Automata en_US
dc.subject Vérification de modèles en_US
dc.title Probabilistic Interface Automata en_US
dc.type Article en_US


Fichier(s) constituant ce document

Icon
Nom: nl3312.pdf
Taille: 878.8Ko
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Parcourir

Mon compte