Modelling and Verifying Contract-Oriented Systems in Maude.

Massimo Bartoletti Maurizio Murgia Alceste Scalas Roberto Zunino

Published in: WRLA (2014)

Keyphrases

complex systems
distributed systems
building blocks
search algorithm
computing systems
real time
data sets
real world
artificial intelligence
case study
expert systems