Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Ledinot, E"'
Autor:
Baufreton, Philippe, Blanquart, Jean-Paul, Boulanger, J., Delseny, H, Derrien, J., Gassino, J., Ladier, G, Ledinot, E, Leeman, M, Quéré, P, Ricque, B
Publikováno v:
ERTS 2010 proceedings
ERTS2 2010, Embedded Real Time Software & Systems
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
ERTS2 2010, Embedded Real Time Software & Systems
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
International audience; This paper presents an analysis of safety standards and their implementation in certification strategies from different domains such as aeronautics, automation, automotive, nuclear, railway and space. This work, performed in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::099d8e38adc15f456924ac2cf6868121
https://hal.archives-ouvertes.fr/hal-02264379
https://hal.archives-ouvertes.fr/hal-02264379
Autor:
Ledinot, E, Pariente, D.
This paper gives an account of an ongoing attempt to prove the safety properties, of a hand-coded safety critical embedded software of industrial size. The method used is based on annotating the C source files with assertions that encode the safety-r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f4010ede07343d0c02f2ea814be61879
https://hal.science/hal-02270427
https://hal.science/hal-02270427
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.
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.
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:
Annales de genetique [Ann Genet] 1964; Vol. 7, pp. 101-5.
Autor:
Voelter, Markus1 (AUTHOR) voelter@acm.org, Kolb, Bernd2 (AUTHOR) kolb@itemis.de, Birken, Klaus2 (AUTHOR) birken@itemis.de, Tomassetti, Federico3 (AUTHOR) federico@tomassetti.me, Alff, Patrick4 (AUTHOR) Patrick.Alff@voluntis.com, Wiart, Laurent4 (AUTHOR) Laurent.Wiart@voluntis.com, Wortmann, Andreas5 (AUTHOR) andreas.wortmann@ohb.de, Nordmann, Arne6 (AUTHOR) arne.nordmann@de.bosch.com
Publikováno v:
Software & Systems Modeling. Aug2019, Vol. 18 Issue 4, p2507-2530. 24p.
Publikováno v:
International Journal of Aerospace Engineering. 4/22/2018, p1-22. 22p.
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:
Safety & Reliability; Jun2022, Vol. 41 Issue 2, p103-120, 18p