Автор: Laurent Fribourg

Підтримка
Laurent Fribourg is head of the LSV (Laboratoire Spécification et Vérification) and Scientific Coordinator of the Institut Farman, Institut Fédératif de Recherche CNRS, which brings together the expertise of five laboratories from ENS Cachan, in France, in the fields of modeling, simulation and validation of complex systems. He has published over 70 articles in international journals and reviewed proceedings of international conferences, in the domain of the theory of formal methods and their applications. Romain Soulat is in the third year of his doctorate at the LSV at ENS Cachan in France, under the supervision of Laurent Fribourg. He is working on the modeling and verification of hybrid systems. In particular, his interests concern robustness in scheduling problems – especially as part of a collaborative project with EADS Astrium on the verification of a component in the launcher for the future Ariane 6 rocket. He has published 5 articles in reviewed proceedings of international conferences.




4 Електронні книги від Laurent Fribourg

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
Laurent Fribourg: Computer Science Logic
PDF
Англійська
DRM
€114.95
Victor Braberman & Laurent Fribourg: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. Th …
PDF
Англійська
DRM
€51.54