A Formal Approach to Multi-Level Complex Systems Modeling and Analysis |
|
| Author:
| Merelli, Emanuela
Sirjani, Marjan
Khakpour, Narges |
| ISBN: | 978-1-4665-5662-1 |
| Publication Date: | Apr 2017 |
| Publisher: | CRC Press LLC
|
| Book Format: | Hardback |
| List Price: | USD $79.95 |
Book Description:
|
Although complex systems have been thoroughly studied by different scientific communities, Computer Science opens up potential that had not been fully exploited in this field. This book examines the multi-level nature of complex systems and includes formal methods for their modeling and the analysis. It presents a formal computational framework for the study of complex systems and provides concrete evidence of the usefulness of formal methods in many interdisciplinary research...
More Description
Although complex systems have been thoroughly studied by different scientific communities, Computer Science opens up potential that had not been fully exploited in this field. This book examines the multi-level nature of complex systems and includes formal methods for their modeling and the analysis. It presents a formal computational framework for the study of complex systems and provides concrete evidence of the usefulness of formal methods in many interdisciplinary research fields, e.g. biological systems and social systems.