Книги автора Romain Soulat
Romain Soulat
This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching syst…
This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching syst…
Romain Soulat
культура и искусство, учебная и научная литература, музыка, ноты, учебники и пособия для ссузов, знания и навыкиThis book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric tim…
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric tim…
