Probabilistic model checking on HPC systems for the performance analysis of mobile networks

A tétel rövid nézete
dc.contributor.authorSchreiner, Wolfgang
dc.contributor.authorBérczes, Tamás
dc.contributor.authorSztrik, János
dc.date.accessioned2015-01-12T10:15:46Z
dc.date.available2015-01-12T10:15:46Z
dc.date.issued2014
dc.date.pasync2019-01-10T01:30:35Z
dc.date.updated2019-01-10T01:30:35Z
dc.identifier.citationAnnales Mathematicae et Informaticae. -43 (2014), p. 123-144. -Ann. Math. Inform. - 1787-5021. - 1787-6117
dc.identifier.issn1787-5021
dc.identifier.issn1787-6117
dc.identifier.opachttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM056796
dc.identifier.urihttp://hdl.handle.net/2437/203202
dc.identifier.urlhttp://ami.ektf.hu/uploads/papers/finalpdf/AMI_43_from123to144.pdf
dc.languageeng
dc.rights.accessopen access journal
dc.subject.mabMűszaki tudományok
dc.subject.mabInformatikai tudományok
dc.tenderTÁMOP-4.2.2.C-11/1/KONV-2012-0001
dc.titleProbabilistic model checking on HPC systems for the performance analysis of mobile networks
dc.typefolyóiratcikk
dc.typeidegen nyelvű folyóiratközlemény hazai lapban
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
file_up_AMI_43_Sztrik_2014.pdf
Méret:
721.28 KB
Formátum:
Adobe Portable Document Format
Leírás:
Kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis