Zobrazeno 1 - 10
of 33
pro vyhledávání: '"D Kresic"'
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.
Kniha
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.
Publikováno v:
Planta Medica. 77
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54c6c263572f19742a24ac51e977c0e2
https://doi.org/10.1055/s-0031-1282211
https://doi.org/10.1055/s-0031-1282211
Autor:
D. Kresic
Publikováno v:
IEEE Conference on Cybernetics and Intelligent Systems, 2004..
In this paper we describe the PROPeRTy project (Propagation Rules for Real-Time Systems) ongoing at the University of Erlangen-Nuremberg, a framework for testing real-time systems using logic programming approach combined with consistency techniques.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a290cd4108f599f00b301e1c161a824
https://doi.org/10.1109/iccis.2004.1460392
https://doi.org/10.1109/iccis.2004.1460392
Kniha
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.