MPG.eBooks - Search Results - "Computer Simulation"

Cover Image

1

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

by Ölveczky, Peter Csaba
Published 2017

Springer London

Subjects: “...Computer simulation...”

Cover Image

2

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Computer simulation...”