É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.
4 Электронные книги Romain Soulat
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
английский
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
английский
DRM
€139.99
Laurent Fribourg & Romain Soulat: Control of Switching Systems by Invariance Analysis
This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching systems are increasingly used in the electronics and mechanical …
PDF
английский
DRM
€139.99
Laurent Fribourg & Romain Soulat: Control of Switching Systems by Invariance Analysis
This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching systems are increasingly used in the electronics and mechanical …
EPUB
английский
DRM
€139.99
