Zobrazeno 1 - 10
of 133
pro vyhledávání: '"Cha SD"'
Publikováno v:
ATVA. 5311
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-valued semantics is introduced reflecting the idea that prefixes of infinit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::b0467ab9c2410ad764681e68e2e40cb5
http://ora.ox.ac.uk/objects/uuid:7a15a57a-013c-4fba-aa02-19339cec2d71
http://ora.ox.ac.uk/objects/uuid:7a15a57a-013c-4fba-aa02-19339cec2d71
Publikováno v:
Cha, SD; Lin, PC; Zhu, LJ; Botvinick, EL; Sun, PC; & Fainman, Y. Nurre, JH; & Corner, BD eds. (1999). 3D profilometry using a dynamically configurable confocal microscope. THREE-DIMENSIONAL IMAGE CAPTURE AND APPLICATIONS II, 3640, 246-253. doi: 10.1117/12.341066. UC Irvine: Retrieved from: http://www.escholarship.org/uc/item/2934h1rm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::7d649c861a087c9e48d479c6da37d1cc
http://www.escholarship.org/uc/item/2934h1rm
http://www.escholarship.org/uc/item/2934h1rm
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.
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.
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.
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.
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.
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.
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.
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.