Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Tenney, Richard L."'
Autor:
Meyer, Charles F., author1, Tenney, Richard L., author2
Publikováno v:
Corpus-Based Computational Linguistics. :25-36
Autor:
Tenney, Richard L., Foster, Caxton C.
Publikováno v:
Mathematics Magazine, 1976 May 01. 49(3), 115-120.
Externí odkaz:
https://www.jstor.org/stable/2690186
Autor:
Katoen, Joost-Pieter, Langerak, Rom, Latella, Diego, Tenney, Richard L., Amer, Paul D., Ümit Uyar, M.
Publikováno v:
Formal description techniques, VI: proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques-FORTE '93: Boston, MA, U.S.A., 26-29 October 1993, 253-269
STARTPAGE=253;ENDPAGE=269;TITLE=Formal description techniques, VI
STARTPAGE=253;ENDPAGE=269;TITLE=Formal description techniques, VI
Performance and reliability analysis of distributed systems based on formal specifications is an important and widely recognized issue. This paper treats a probabilistic version of (a subset of) the process algebra LOTOS. It incorporates a probabilis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::52a26b63d02315d23d0aa8c905c983cb
https://research.utwente.nl/en/publications/c91df9c0-4eea-4777-b281-b7b91236cb3c
https://research.utwente.nl/en/publications/c91df9c0-4eea-4777-b281-b7b91236cb3c
Publikováno v:
Proceedings of the Ninth Annual ACM Symposium: Theory of Computing; 5/ 4/1977, p61-76, 16p
Publikováno v:
Proceedings of the Seventh Symposium: Data Communications; 10/27/1981, p248-253, 6p
Autor:
Tenney, Richard L.
Publikováno v:
Journal of the Australian Mathematical Society; Nov1975, Vol. 20 Issue 3, p323-331, 9p
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.