Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Kertis, Tomáš"'
Publikováno v:
ExFoS 2022. 2022, p. 366-409.
Sdělení srovnává nároky české legislativy na řízení bezpečnosti vybraných prvků dopravní kritické infrastruktury se současným odborným poznáním, reprezentovaným generickým modelem pro zajištění integrální bezpečnosti. Na z
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2852::7cc9fde5c599aba0863115f9ec61d726
https://hdl.handle.net/11012/208782
https://hdl.handle.net/11012/208782
Autor:
Tverdyshev, Sergey, Caracuel, Benito, Álvarez, Amelia, Ortaga, Alvaro, Rico, Jose Emilio, Hametner, Reinhard, Blasum, Holger, Kertis, Tomáš, Schulz, Thorsten
The certMILS project (http://www.certmils.eu/) aims at easing building and certification of complex critical systems by using a certain architecture for structuring these systems into partitions that run on a separation kernel, called MILS (Multiple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b70885f035b7f68f48e2d1aab305253
Autor:
Tverdyshev, Sergey, Caracuel, Benito, Álvarez, Amelia, Ortega, Alvaro, Rico, Jose Emilio, Hametner, Reinhard, Blasum, Holger, Kertis, Tomáš, Schulz, Thorsten
The certMILS project (http://www.certmils.eu/) aims at easing building and certification of complex critical systems by using a certain architecture for structuring these systems into partitions that run on a separation kernel, called MILS (Multiple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::180b02ef39d5a0d41b4fffdef85adec5
Autor:
Rollo, Jan, Alvarez de Sotomayor, Amelia, Caracuel, Benito, Ortega, Alvaro, Hametner, Reinhard, Tverdyshev, Sergey, Blasum, Holger, Kertis, Tomáš, Havle, Oto, Schulz, Thorsten, Hager, Michael
This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a57939ae0485c9e08f0eb296e56b773
Autor:
Hohenegger, Andreas, Blasum, Holger, Tverdyshev, Sergey, Garcia, Luis, Álvarez de Sotomayor, Amelia, Caracuel, Benito, Kertis, Tomáš, Krummeck, Gerald, Kurth, Helmut, Persson, Staffan, Hametner, Reinhard, Paultisch, Michael, Tummeltshammer, Peter, Hager, Michal
In the focus of the certMILS project are cyber physical systems (CPS). These combine physical and software elements and, with the advances of industry, such automated solutions increasingly take over critical tasks in all areas of our society. Smart
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c262cef590a07bfc20c3e15b1d2b87c9
https://doi.org/10.5281/zenodo.2586475
https://doi.org/10.5281/zenodo.2586475
Autor:
Kertis, Tomáš, Procházková, Dana
Publikováno v:
XXV. Mezinárodní Vedecká Konference Soudního InZenYrství Expert Forensic Science (ExFoS) 2016; 2017, p368-374, 7p
Autor:
Kertis, Tomáš, Procházková, Dana
Publikováno v:
XXV. Mezinárodní Vedecká Konference Soudního InZenYrství Expert Forensic Science (ExFoS) 2016; 2017, p357-367, 11p
Autor:
Kertis, Tomáš, Procházková, Dana
Publikováno v:
XXV. Mezinárodní Vedecká Konference Soudního InZenYrství Expert Forensic Science (ExFoS) 2016; 2016, p442-459, 18p
Autor:
Hohenegger, Andreas, Blasum, Holger, Tverdyshev, Sergey, Garcia, Luis, Álvarez de Sotomayor, Amelia, Caracuel, Benito, Kertis, Tomáš, Krummeck, Gerald, Kurth, Helmut, Persson, Staffan, Hametner, Reinhard, Paultisch, Michael, Tummeltshammer, Peter, Hager, Michal
In the focus of the certMILS project are cyber physical systems (CPS). These combine physical and software elements and, with the advances of industry, such automated solutions increasingly take over critical tasks in all areas of our society. Smart
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7972edb84c18aa9e771a4835ed1335e1