Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.

Published in: MARS (2015)

Keyphrases

formal analysis
international workshop
complex systems
formal methods
acm sigkdd
mathematical models
international conference
computational models
software engineering
lecture notes
expert systems
trading systems
advances in artificial intelligence