Total Books: 1 - 1 /1
Supervisory Control of Concurrent Systems
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
Continue reading
Total Books: 1 - 1 /1
