Sign in

Modelling and Verifying Contract-Oriented Systems in Maude.

Massimo BartolettiMaurizio MurgiaAlceste ScalasRoberto 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