Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Zuck, L. D."'
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed for a critical component belonging to a medical device used by optometri
Externí odkaz:
http://arxiv.org/abs/1706.02701
Akademický článek
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.
Autor:
Wang, Da-Wei, Zuck, L. D.
Publikováno v:
Proceedings of the Eighth Annual ACM Symposium: Principles of Distributed Computing; 6/ 1/1989, p73-83, 11p
Publikováno v:
Journal of Materials Science; Jun2003, Vol. 38 Issue 11, p2401-2408, 8p
Autor:
Halpern, J Y1 (AUTHOR), Zuck, L D (AUTHOR)
Publikováno v:
Journal of the Association for Computing Machinery. Jul1992, Vol. 39 Issue 3, p449-478. 30p.