![Metaphysics / Complex systems theory / Philosophy / Formal methods / Theoretical computer science / Logic in computer science / Runtime verification / Model checking / Complex adaptive system / System / Emergence / Field Metaphysics / Complex systems theory / Philosophy / Formal methods / Theoretical computer science / Logic in computer science / Runtime verification / Model checking / Complex adaptive system / System / Emergence / Field](https://www.pdfsearch.io/img/013dd360f42976616f8f9c7f60f68b7f.jpg) Date: 2015-06-01 09:34:52Metaphysics 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 TriAdd to Reading ListSource URL: homepage.lnu.seDownload Document from Source Website File Size: 1,36 MBShare Document on Facebook
|