Back to Results
First PageMeta Content
Metaphysics / Complex systems theory / Philosophy / Formal methods / Theoretical computer science / Logic in computer science / Runtime verification / Model checking / Complex adaptive system / System / Emergence / Field


Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri
Add to Reading List

Document Date: 2015-06-01 09:34:52

Open Document

File Size: 1,36 MB

Share Result on Facebook