Zobrazeno 1 - 10
of 26
pro vyhledávání: '"P. E. Camurati"'
Publikováno v:
Formal Methods in System Design. 60:117-146
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50920dd0eb782a05483b470f6899a889
https://doi.org/10.1007/s10703-022-00406-7
https://doi.org/10.1007/s10703-022-00406-7
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.
Publikováno v:
Formal Methods in System Design; Apr2022, Vol. 60 Issue 2, p117-146, 30p
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Jul2020, Vol. 39 Issue 2, pC1-C4, 4p
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Jul2020, Vol. 39 Issue 2, p1524-1531, 8p
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Feb2019, Vol. 38 Issue 2, pC1-C4, 4p
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Feb2019, Vol. 38 Issue 2, p380-384, 5p
Publikováno v:
International Journal on Software Tools for Technology Transfer; Jun2018, Vol. 20 Issue 3, p313-325, 13p