Zobrazeno 1 - 10
of 253
pro vyhledávání: '"Jacob , Jérémy"'
In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process algebra tock-CSP provides textual notations for modelling discrete-tim
Externí odkaz:
http://arxiv.org/abs/2104.13434
The process algebra tock-CSP provides textual notations for modelling discrete-time behaviours, with the support of various tools for verification. Similarly, automatic verification of Timed Automata (TA) is supported by the real-time verification to
Externí odkaz:
http://arxiv.org/abs/2008.06935
Autor:
Guimbaud, Christophe, Colombano, Stéfan, Noel, Cécile, Verardo, Elicia, Grossel, Agnès, Jourdain, Line, Jégou, Fabrice, Hu, Zhen, Jacob, Jérémy, Ignatiadis, Ioannis, Blessing, Michaela, Gourry, Jean Christophe
Publikováno v:
In Journal of Contaminant Hydrology May 2023 256
Autor:
Jacob, Jérémy, Delarue, Frédéric, Copard, Yoann, Le Milbeau, Claude, Grasset, Laurent, Brockmann, Patrick
Publikováno v:
In Journal of Analytical and Applied Pyrolysis July 2023
High-resolution sedimentary record of anthropogenic deposits accumulated in a sewer decantation tank
Autor:
Jacob, Jérémy, Thibault, Alexandre, Simonneau, Anaëlle, Sabatier, Pierre, Le Milbeau, Claude, Gautret, Pascale, Ardito, Luigi, Morio, Cédric
Publikováno v:
In Anthropocene June 2020 30
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.
We present the first results from the AGN Multiwavelength Survey of Early-type galaxies in the Virgo cluster (AMUSE-Virgo). This large program targets 100 early-type galaxies with the Advanced CCD Imaging Spectrometer on board the Chandra X-ray Obser
Externí odkaz:
http://arxiv.org/abs/0711.2073
Publikováno v:
In Marine and Petroleum Geology May 2018 93:145-165
Autor:
Zocatelli, Renata, Lavrieux, Marlène, Guillemot, Typhaine, Chassiot, Léo, Le Milbeau, Claude, Jacob, Jérémy
Publikováno v:
In Journal of Archaeological Science May 2017 81:79-89