Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Formal Validation Methods"'
Publikováno v:
The Aeronautical Journal. 121:1051-1065
Internet applications have been extended to various aspects of everyday life and offer services of high reliability and security at relatively low cost. This project presents the design of a reliable, safe and secure software system for real-time rem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::549d60e36a956dbefa99589b7e4b3b38
https://doi.org/10.1017/aer.2017.50
https://doi.org/10.1017/aer.2017.50
Publikováno v:
Aziz, B, Foley, S, Herbert, J & Swart, G 2009, ' Configuring storage-area networks using mandatory security ', Journal of Computer Security, vol. 17, no. 2, pp. 191-210 . https://doi.org/10.3233/JCS-2009-0337
Storage-area networks are a popular and efficient way of building large storage systems both in an enterprise environment and for multi-domain storage service providers. In both environments the network and the storage has to be configured to ensure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b45679f2a9165cb3a5392800e5975169
https://doi.org/10.3233/jcs-2009-0337
https://doi.org/10.3233/jcs-2009-0337
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.