Search

Your search keyword '"Fremont, Guy"' showing total 10 results
Start Over Author "Fremont, Guy"
10 results on '"Fremont, Guy"'

3. Le franchissement des péages avec les Systèmes de Transports Intelligents

Author

Randriamasy, Malalatiana, Cabani, Adnane, Chafouk, Houcine, Fremont, Guy, Pôle Automatique et Systèmes, Institut de Recherche en Systèmes Electroniques Embarqués (IRSEEM), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-École Supérieure d’Ingénieurs en Génie Électrique (ESIGELEC)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-École Supérieure d’Ingénieurs en Génie Électrique (ESIGELEC), Pôle Instrumentation, Informatique et Systèmes, SANEF, parent, and CHAFOUK, HOUCINE

Subjects
[SPI.AUTO] Engineering Sciences [physics]/Automatic, [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

International audience

Published
2019

4. A better guidance approaching the toll plaza thanks to the connected infrastructure

Author

Randriamasy, Malalatiana, Cabani, Adnane, Chafouk, Houcine, Fremont, Guy, Pôle Automatique et Systèmes, Institut de Recherche en Systèmes Electroniques Embarqués (IRSEEM), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-École Supérieure d’Ingénieurs en Génie Électrique (ESIGELEC)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-École Supérieure d’Ingénieurs en Génie Électrique (ESIGELEC), Pôle Instrumentation, Informatique et Systèmes, SANEF, parent, and CHAFOUK, HOUCINE

Subjects
[SPI.AUTO] Engineering Sciences [physics]/Automatic, [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

International audience

Published
2018

6. ETC service in C-ITS with high-precision of vehicle location

Author

Randriamasy, Malalatiana, Cabani, Adnane, Chafouk, Houcine, Fremont, Guy, Mouzna, Joseph, Pôle Automatique et Systèmes, Institut de Recherche en Systèmes Electroniques Embarqués (IRSEEM), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-École Supérieure d’Ingénieurs en Génie Électrique (ESIGELEC)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-École Supérieure d’Ingénieurs en Génie Électrique (ESIGELEC), Pôle Instrumentation, Informatique et Systèmes, SANEF, parent, and Cabani, Adnane

Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-ET] Computer Science [cs]/Emerging Technologies [cs.ET], [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
2017

9. An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems

Author

Bonnefoi, Fabien, Hillah, Lom Messan, Kordon, Fabrice, Fremont, Guy, Publications, Lip6, Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), and Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract

International audience; Modern distributed systems tend to integrate more and more features and components that increase their complexity and size. This often leads to the decomposition of such systems into multiple parts to overcome the complexity of their modeling and analysis. In this paper, we present a modeling methodology for systems engineering based on a modular approach. The methodology relies on the definition of components and assembling rules to model complex systems. It is founded on formal specification formalisms and tools to enable model checking. This paper proposes an example by which we apply this methodology on a complex system from the domain of Intelligent Transport Systems.

Published
2006

Catalog

Books, media, physical & digital resources
See catalog results