FA Sign in

Discover references

Executable Modeling

Books

1 results

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

English Advanced

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

Peter Csaba Ölveczky (auth.)

2017 View book