SAMI BEN. Model-checking du délai dans les éléments réseaux. (2011)
[Idézéskapcsolat:27163874]

Rekordtípus
Citation
MTMT azonosító
27163874
Státusz
Nyilvános
Nyilvános
Igen
Aktív cédulák
0
Régi időbélyeg
2018-09-14T10:12:45.000+0000
Törölt
Nem
Régi azonosító
17163874
Utolsó módosítás
2018-09-14T10:12:45.000+0000
Létrehozás dátuma
2013-03-27T14:11:07.000+0000
Láttamozva
2018-02-17T10:45:04.000+0000
Láttamozó
Oszlánczi Krisztina (EKE admin)
Közlemény
Tamás Bérczes et al. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. (2009) Megjelent: Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09) pp. 37-52
Közlemény MTMT azonosítója
1498511
Kapcsolódó cikk
SAMI BEN. Model-checking du délai dans les éléments réseaux. (2011)
Idézőközlemény MTMT azonosítója
27163874
Eredet
kézi felvitel
Független
Igen
Független OK
Link
/api/citation/27163874
Címke
SAMI BEN. Model-checking du délai dans les éléments réseaux. (2011)
2020-08-08 06:13