Related Books
Language: en
Pages: 254
Pages: 254
Type: BOOK - Published: 1991-11-27 - Publisher: Springer Science & Business Media
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage
Language: en
Pages: 242
Pages: 242
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 1993-05-20 - Publisher: Cambridge University Press
The research contained in this book represents work on the specification and verification of real-time systems using CSP.
Language: en
Pages: 655
Pages: 655
Type: BOOK - Published: 2003-05-20 - Publisher: Springer
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented
Language: en
Pages: 501
Pages: 501
Type: BOOK - Published: 2016-10-03 - Publisher: Springer
This book presents a new approach that can be applied to complex, integrated individual and social human processes. It provides an alternative means of addressi