Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020.

Published in: MARS@ETAPS (2020)

Keyphrases

formal analysis
complex systems
international workshop
international conference
mathematical models
formal methods
probabilistic model
acm sigkdd
trading systems
knowledge representation
building blocks
computational models
international symposium