Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.

Published in: MARS@ETAPS (2024)

Keyphrases

formal analysis
international workshop
complex systems
acm sigkdd
selected papers
international conference
formal methods
low cost
computational models
lecture notes in artificial intelligence
computational intelligence
international symposium
working conference