Probabilistic Interface Automata

Simple item page
dc.contributor.authorPavese, Esteban
dc.contributor.authorBraberman, Viýctor
dc.contributor.authorUchitel, Sebastian
dc.date.accessioned2022-10-26T09:08:17Z
dc.date.available2022-10-26T09:08:17Z
dc.date.issued2016
dc.description843-865 p. ; 879ko.en_US
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9251
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.relation.ispartofseriesInstitute of electrical and electronics engineers;vol.42-2016
dc.subjectIngénierie de la fiabilitéen_US
dc.subjectLangages formelsen_US
dc.subjectAUTOMATH (langage formel)en_US
dc.subjectAutomates mathématiques, Théorie desen_US
dc.subjectInterface Automataen_US
dc.subjectVérification de modèlesen_US
dc.titleProbabilistic Interface Automataen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3312.pdf
Size:
878.84 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques