Zobrazeno 1 - 10
of 225
pro vyhledávání: '"Tripakis, S."'
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.
System modeling is the initial, and often crucial, step in verification. The right choice of model and modeling language is important for both designers and users of verification tools. This chapter aims to provide a guide to system modeling in four
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::28c9c01de696e437ccf4f2653d7eda53
https://escholarship.org/uc/item/6ct6g021
https://escholarship.org/uc/item/6ct6g021
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:
Bechini, A., Prete, C. A., Altenbernd, P., Bartolini, Sandro, Bertin, V., Buttazzo, G., Cardoso, J. M. P., Dean, A., Engels, M., Foglia, P., Franke, B., Giorgi, Roberto, Hansson, J., Jha, N. K., Krall, A., Kuo, T. W., Lã©deczi, Ã., Lim, S. S., Memik, G., Simeon, J., Sheynin, Y., Sips, H. J., Talpin, J. P., Tripakis, S., Velev, M., Yen, I. L.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1820::cb8cc1cb460e8bf816af66c4720527eb
http://hdl.handle.net/11365/1003327
http://hdl.handle.net/11365/1003327
Publikováno v:
The 13th International Symposium on Temporal Representation and Reasoning (TIME'06)
Jun 2006, pp.69-77
Jun 2006, pp.69-77
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ae7f9d76336a17ec8cfd37dd0d213435
https://hal.archives-ouvertes.fr/hal-00121145
https://hal.archives-ouvertes.fr/hal-00121145
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:
1ères Journées Francophones de Programmation par Contraintes (JFPC'05)
1ères Journées Francophones de Programmation par Contraintes (JFPC'05), 2005, Lens, France. pp.287-296
1ères Journées Francophones de Programmation par Contraintes (JFPC'05), 2005, Lens, France. pp.287-296
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a9f83826ebe9180203d0b85cf4a76c51
https://hal-univ-artois.archives-ouvertes.fr/hal-03300348
https://hal-univ-artois.archives-ouvertes.fr/hal-03300348