![[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 || Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude]()
[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 || Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time MaudeAgha, Gul; Danvy, Olivier; Meseguer, José · 2011