Zobrazeno 1 - 10
of 70
pro vyhledávání: '"de Rougemont, M."'
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many techniques with different notions of approximation, when an exact verific
Externí odkaz:
http://arxiv.org/abs/1304.5199
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.
Autor:
de Rougemont, M., Tracol, M.
Publikováno v:
2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p299-308, 10p
Publikováno v:
2008 the Ninth International Conference on Web-Age Information Management; 2008, p149-156, 8p
Publikováno v:
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06); 2006, p421-430, 10p
Publikováno v:
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science; 2002, p30-39, 10p
Publikováno v:
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332); 2000, p63-73, 11p
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.