Zobrazeno 1 - 10
of 12
pro vyhledávání: '"rationale of safety standards"'
Autor:
Jonathan C. Rowanhill, John C. Knight
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319454764
SAFECOMP
SAFECOMP
In this paper, we argue that standards, especially those intended to support critical applications, should define explicitly both the properties expected to accrue from use of the standard and an explicit rationale that justifies the contents of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::872556f9cf64450f039500e53e88166f
https://doi.org/10.1007/978-3-319-45477-1_4
https://doi.org/10.1007/978-3-319-45477-1_4
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.
Autor:
Ledinot, Emmanuel, Blanquart, Jean-Paul, Gassino, Jean, Ricque, Bertrand, Baufreton, Philippe, Boulanger, Jean-Louis, Camus, Jean-Louis, Comar, Cyrille, Delseny, Hervé, Quéré, Philippe
Publikováno v:
Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
International audience; Safety standards in most domains (aeronautics, automotive, industry, nuclear, railway, space) consider software (and more generally, design) as a deterministic artefact. They propose a global rationale combining probabilistic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9cd6b23b2022b7967f06dcb7bca2f84b
https://hal.archives-ouvertes.fr/hal-01292293/document
https://hal.archives-ouvertes.fr/hal-01292293/document
Conference
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:
Computer Safety, Reliability & Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings; 2016, pI-XV, 15p
Autor:
Eunsung Kim
Publikováno v:
Journal of Distribution Science. 17:99-109
Purpose - The purpose of this development the business model of the healthcare sector in order to promote patents satisfaction towards medical sector services improvement for the medical business model innovation to possess a competitive advantage in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc96601910ece85ce728e2ec20aca6b0
https://doi.org/10.15722/jds.17.7.201907.99
https://doi.org/10.15722/jds.17.7.201907.99
The widely accepted need to reduce the world's dependence on fossil fuels and move instead to low-carbon, renewable alternatives faces a host of challenges. Whilst the greatest challenges remain in engineering, political and public policy issues cont
This volume constitutes the refereed proceedings of the 24th EuroSPI conference, held in Ostrava, Czech Republic, in September 2017.The 56 revised full papers presented were carefully reviewed and selected from 97 submissions. They are organized in t
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers pres
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully review