MPG.eBooks - Search Results - "Modeling"

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 Modelling...”

Cover Image

2

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Subjects: “...Computer Modelling...”

Cover Image

3

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Published 2016

Springer International Publishing

Subjects: “...Computer Modelling...”

Cover Image

4

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

Subjects: “...Computer Modelling...”

Cover Image

5

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

Published 2019

Springer International Publishing

Subjects: “...Computer Modelling...”