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

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 19, № с.) JOURNAL OF PHYSICAL STUDIES v. 19, No p.)

Source URL: physics.lnu.edu.ua

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 11, № ) с. 427–431 JOURNAL OF PHYSICAL STUDIES v. 11, Nop. 427–431

Source URL: physics.lnu.edu.ua

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 11, № ) с. 421–426 JOURNAL OF PHYSICAL STUDIES v. 11, Nop. 421–426

Source URL: physics.lnu.edu.ua

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 11, № ) с. 268–278 JOURNAL OF PHYSICAL STUDIES v. 11, Nop. 268–278

Source URL: physics.lnu.edu.ua

МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАКАЗ м. Київ

Source URL: research.lnu.edu.ua

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 11, № ) с. 285–288 JOURNAL OF PHYSICAL STUDIES v. 11, Nop. 285–288

Source URL: physics.lnu.edu.ua

Microsoft Word - Progr-konf_2016.doc

Source URL: library.lnu.edu.ua

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 11, № ) с. 329–333 JOURNAL OF PHYSICAL STUDIES v. 11, Nop. 329–333

Source URL: physics.lnu.edu.ua

ЖУРНАЛ ФIЗИЧНИХ ДОСЛIДЖЕНЬ т. 9, № ) с. 151–155 JOURNAL OF PHYSICAL STUDIES v. 9, Nop. 151–155

Source URL: physics.lnu.edu.ua