Specification and Analysis of Open-Ended Systems with CARMA.

Jane Hillston Michele Loreti

Published in: E4MAS (2014)

Keyphrases

open ended
data analysis
distributed systems
complex systems
learning outcomes
learning systems
formal methods