SØG - mellem flere end 8 millioner bøger:
Viser: A Formal Approach to Multi-Level Complex Systems - Modeling and Analysis
A Formal Approach to Multi-Level Complex Systems
Modeling and Analysis
Emanuela Merelli, Marjan Sirjani og Narges Khakpour
(2015)
Sprog: Engelsk
Detaljer om varen
- Hardback: 300 sider
- Udgiver: CRC Press LLC (Oktober 2015)
- Forfattere: Emanuela Merelli, Marjan Sirjani og Narges Khakpour
- ISBN: 9781466556621
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.