Zobrazeno 1 - 9
of 9
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.
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.
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.
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.