Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Maisonneuve, Vivien"'
Autor:
Maisonneuve, Vivien
Un logiciel critique est un logiciel dont le mauvais fonctionnement peut avoir un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.L'ingénierie logicielle pour les systèmes critiques est particulièrement dif
Externí odkaz:
http://www.theses.fr/2015ENMP0007/document
Autor:
d'Auriac, Paul-Elliot Anglès, Maisonneuve, Francis, Maisonneuve, Vivien, Preissmann, Emmanuel, Preissmann, Myriam
The problem we are considering is the following. A colorblind player is given a set $B = \{b_1,b_2,...,b_N\}$ of $N$ colored balls. He knows that each ball is colored either red or green, and that there are less green balls (this will be called a Red
Externí odkaz:
http://arxiv.org/abs/1610.01062
Autor:
Anglès d’Auriac, Paul-Elliot, Maisonneuve, Francis, Maisonneuve, Vivien, Preissmann, Emmanuel, Preissmann, Myriam
Publikováno v:
In Discrete Applied Mathematics 31 July 2019 265:1-12
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 September 2014 307:17-31
Autor:
Maisonneuve, Vivien
Publikováno v:
In Electronic Notes in Theoretical Computer Science 4 December 2012 288:49-59
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.
Autor:
Preissmann, Myriam, Angles d'Auriac, Paul-Elliot, Maisonneuve, Francis, Maisonneuve, Vivien, Preissmann, Emmanuel
Publikováno v:
17th Haifa Workshop on Interdisciplinary Applications of Graphs, Combinatorics and Algorithms
17th Haifa Workshop on Interdisciplinary Applications of Graphs, Combinatorics and Algorithms, University of Haifa, Jun 2017, HAIFA, Israel
17th Haifa Workshop on Interdisciplinary Applications of Graphs, Combinatorics and Algorithms, University of Haifa, Jun 2017, HAIFA, Israel
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::849c85eeff8c9c68cd8a94ff3c396614
https://hal.archives-ouvertes.fr/hal-02148442
https://hal.archives-ouvertes.fr/hal-02148442
Autor:
Hermant, Olivier, Maisonneuve, Vivien
Publikováno v:
AFADL
AFADL, Pascale Le Gall; Frederic Dadeau, Jun 2015, Bordeaux, France. pp.51-56
AFADL, Pascale Le Gall; Frederic Dadeau, Jun 2015, Bordeaux, France. pp.51-56
National audience; Les programmes contrôle-commande doivent assurer la stabilité d'un syst eme dynamique autour d'un point d'´ equilibre. De tels programmes sont généralement issus d'une modélisation du syst eme, en partie intégrée au program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::670ab9a3d45e1ea4f263f822a9396d46
https://hal-mines-paristech.archives-ouvertes.fr/hal-01138327/file/lyafloat.pdf
https://hal-mines-paristech.archives-ouvertes.fr/hal-01138327/file/lyafloat.pdf
Autor:
Maisonneuve, Vivien
Publikováno v:
Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2015. English. ⟨NNT : 2015ENMP0007⟩
A critical software is a software whose malfunction may result in death or serious injury to people, loss or severe damage to equipment or environmental harm.Software engineering for critical systems is particularly difficult, and combines different
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a1095e76b95f35bef90f1c79014faa8
https://pastel.archives-ouvertes.fr/tel-01155693
https://pastel.archives-ouvertes.fr/tel-01155693
Autor:
Maisonneuve, Vivien
Publikováno v:
Journées nationsles GDR-GPL
Journées nationsles GDR-GPL, Jun 2014, Paris, France. 2014
Journées nationsles GDR-GPL, Jun 2014, Paris, France. 2014
Prix du meilleur poster GDR-GPL (Conservatoire national des arts et métiers, Paris, 10 au 13 juin 2014); Conception d’un système embarqué : Un système embarqué est un système informatique autonome spécialisé. - Contraintes d’autonomie, de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::228fd396c3f60ad9e7e65ff42758b3b5
https://hal-mines-paristech.archives-ouvertes.fr/hal-01006648/document
https://hal-mines-paristech.archives-ouvertes.fr/hal-01006648/document