Zobrazeno 1 - 10
of 370
pro vyhledávání: '"Quinton, Sophie"'
Publikováno v:
In Current Opinion in Environmental Sustainability June 2023 62
Publikováno v:
EPTCS 208, 2016, pp. 31-45
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This i
Externí odkaz:
http://arxiv.org/abs/1606.00504
Autor:
Quinton, Sophie
Nous avons étudié dans le cadre de cette thèse le design, la vérification et l'implémentation des systèmes à composants. Nous nous sommes intéressés en particulier aux formalismes exprimant des interactions complexes, dans lesquels les conne
Externí odkaz:
http://www.theses.fr/2011GRENM002/document
Autor:
Rollin, Laétitia, Fantoni-Quinton, Sophie, Petit, Audrey, Baumann, Camille, Petitprez, Karine, Gehanno, Jean-François, Fassier, Jean-Baptiste
Publikováno v:
In Bulletin du Cancer November 2019 106(11):1039-1049
Autor:
Barthélémy, Catherine, Bousser, Marie-Germaine, Fantoni-Quinton, Sophie, Réthoré, Marie-Odile, Morel, Françoise, Adès, Jean, Chamoux, Alain, Costentin, Jean, Gonnet, Christian, Goullé, Jean-Pierre, Hamon, Michel, Hauw, Jean-Jacques, Lechevalier, Bernard, Léger, Jean-Marc, Lejoyeux, Michel, Olié, Jean-Pierre, Vallat, Jean-Michel
Publikováno v:
In Bulletin de l'Académie Nationale de Médecine September-December 2017 201(7-9):941-955
Publikováno v:
In Alter - European Journal of Disability research, Revue européen de recherche sur le handicap April-June 2017 11(2):85-98
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.
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:
Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng
We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94afdeddba9f4b7edccf24c5ba909d3a
Autor:
Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng
We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d58019f31fe0778ba1e1a848ab6c4fc