Zobrazeno 1 - 10
of 25
pro vyhledávání: '"N. Heintze"'
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:
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86eb4f2edd034a6b11343f5d52c79667
https://doi.org/10.1109/date.2002.998308
https://doi.org/10.1109/date.2002.998308
Autor:
J. D. Tygart, N. Heintze
Publikováno v:
IEEE Symposium on Security and Privacy
The paper develops a foundation for reasoning about protocol security. We adopt a model-based approach for defining protocol security properties. This allows us to describe security properties in greater detail and precision than previous frameworks.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76d502206c515d76aaaf6bc5d8bfc57e
https://doi.org/10.1109/risp.1994.296596
https://doi.org/10.1109/risp.1994.296596
Publikováno v:
Journal of Materials Science Letters. 7:251-253
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3bdd11cfe671f8ba16f12a0c6b8d8d2f
https://doi.org/10.1007/bf01730187
https://doi.org/10.1007/bf01730187
Publikováno v:
Materials Science and Technology. 2:1245-1246
Description d'une procedure permettant de mesurer les temperatures des bains fondus pendant des temps courts avec une bonne precision et une bonne reproductibilite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e438c572fecbd60fe5f0d207caa93b48
https://doi.org/10.1179/mst.1986.2.12.1245
https://doi.org/10.1179/mst.1986.2.12.1245
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.