Télécharger le livre :  Supervisory Control of Concurrent Systems
Ajouter à ma liste d'envies
Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of...

Editeur : Birkhäuser
Parution : 2007-06-04
Collection : Systems & Control: Foundations & Applications
PDF

147,69