Zobrazeno 1 - 10 of 94 pro vyhledávání: '"Grunbacher, P."'
1
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.
2
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.
3
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.
4
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.
5
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.
6
T-UPPAAL: Online model-based testing of real-time systems
Autor: Mikucionis, M., Larsen, K.G., Nielsen, B., Grunbacher, P.
Publikováno v: Proceedings of the 19th IEEE international conference on automated software engineering, 396-397
STARTPAGE=396;ENDPAGE=397;TITLE=Proceedings of the 19th IEEE international conference on automated software engineering
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::02484e6c0ddd93b07877599377869995
https://research.utwente.nl/en/publications/a325d27d-6f59-4522-9754-59c9f9b87ddd
Zobrazit plný text záznamu
7
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
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.
10
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje