Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Verdier, Guillaume"'
Autor:
Pearson, Connor, de Mourgues, Marius, Battley, Mark, Michaud, Veronique, Little, John, Verdier, Guillaume, Allen, Tom
Publikováno v:
In Ocean Engineering 1 July 2024 303
Autor:
Verdier, Guillaume
Les programmes informatiques prennent une place de plus en plus importante dans nos vies. Certains de ces programmes, comme par exemple les systèmes de contrôle de centrales électriques, d'avions ou de systèmes médicaux sont critiques : une pann
Externí odkaz:
http://www.theses.fr/2016TOU30044/document
The quotient operation, which is dual to the composition, is crucial in specification theories as it allows the synthesis of missing specifications and thus enables incremental design. In this paper, we consider a specification theory based on marked
Externí odkaz:
http://arxiv.org/abs/1411.6463
Autor:
Verdier, Guillaume
Publikováno v:
Software Engineering [cs.SE]. Université Paul Sabatier-Toulouse III, 2016. English. ⟨NNT : 2016TOU30044⟩
Software programs are taking a more and more important place in our lives. Some of these programs, like the control systems of power plants, aircraft, or medical devices for instance, are critical: a failure or malfunction could cause loss of human l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::5200f9504c47115f3443a2aa4761dee7
https://tel.archives-ouvertes.fr/tel-01473869/document
https://tel.archives-ouvertes.fr/tel-01473869/document
Autor:
Berthomieu, Bernard, Bodeveix, Jean-Paul, Dal Zilio, Silvano, Filali, M, Le Botlan, Didier, Verdier, Guillaume, Vernadat, François
Publikováno v:
[Research Report] LAAS-CNRS. 2015
Rapport LAAS n° 15036; We describe a model-checking toolchain for the behavioral verification of AADL models that takes into account the realtime semantics of the language and that is compatible with the AADL Behavioral Annex. We give a high-level v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::09f9fe90efb13cad548c31ce25841c77
https://hal.archives-ouvertes.fr/hal-01121605/document
https://hal.archives-ouvertes.fr/hal-01121605/document
Publikováno v:
Language & Automata Theory & Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings; 2015, p299-311, 13p
Publikováno v:
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers; 2015, p191-197, 7p