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
|