Related Books
Language: en
Pages: 320
Pages: 320
Type: BOOK - Published: 2011 - Publisher:
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 2007-06-04 - Publisher: Springer Science & Business Media
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-eve
Language: en
Pages: 834
Pages: 834
Type: BOOK - Published: 1990 - Publisher:
Language: en
Pages: 40
Pages: 40
Type: BOOK - Published: 2008 - Publisher:
Language: en
Pages: 384
Pages: 384
Type: BOOK - Published: 1995 - Publisher: Allied Publishers