Executable Modeling

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Peter Csaba Ölveczky (auth.)