Étienne André is Senior lecturer, Informatics Laboratory, Galilee Institute at University of Paris-Nord, Villetaneuse, France / Romain Soulat is Phd at LSV, CNRS & ENS de Cachan, France.
6 Ebooks par Etienne André
Etienne André & Romain Soulat: The Inverse Method
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specific …
PDF
Anglais
DRM
€139.99
Etienne André & Romain Soulat: The Inverse Method
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specific …
EPUB
Anglais
DRM
€139.99
Kimi Turró Abad & Marta Isorna Bober: Je t’aime, merci
Quand vos vibrations changent, tout ce que vous attirez change et, petit à petit, c’est votre réalité qui change. L’image que vous projetez sur l’écran se transforme: les pleurs font place aux rires …
EPUB
Français
€9.49
Etienne Andre & Marielle Stoelinga: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. …
EPUB
Anglais
DRM
€57.42
Etienne Andre & Jun Sun: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium …
EPUB
Anglais
DRM
€77.08
Etienne Andre & Jun Sun: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium …
EPUB
Anglais
DRM
€82.84
