Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Gassino, Jean"'
Autor:
Blanquart, Jean-Paul, Ledinot, Emmanuel, Gassino, Jean, Baufreton, Philippe, Boulanger, Jean-Louis, Brouste, Stéphane, Camus, Jean, Comar, Cyrille, Quéré, Philippe, Ricque, Bertrand
Publikováno v:
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2697ae4ab2a6a7b4b046208f3511542e
https://hal.archives-ouvertes.fr/hal-01734621/document
https://hal.archives-ouvertes.fr/hal-01734621/document
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
Autor:
Blanquart, Jean-Paul, Astruc, Jean-Marc, Baufreton, Philippe, Boulanger, Jean-Louis, Delseny, Hervé, Gassino, Jean, Ladier, Gerard, Ledinot, Emmanuel, Leeman, Michel, Machrouh, Joseph, Quéré, Philippe, Ricque, Bertrand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8641bd977db754b611bc32ad909b6ef7
https://hal.science/hal-02170342
https://hal.science/hal-02170342
Publikováno v:
Formal Methods for Industrial Critical Systems; 2008, p3-20, 18p
Publikováno v:
Formal Methods for Industrial Critical Systems; 2008, p1-1, 1p
Autor:
Patrick Cousot
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.Formal methods are mathematically rigorous techniques for the specification, development, m
Autor:
Stefan Leue, Pedro Merino
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th Intern