Showing 1 - 2 results of 2 for search 'Ölveczky, Peter Csaba.', query time: 0.01s Refine Results
1
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
by Ölveczky, Peter Csaba.
Published 2017
eBook
2
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Published 2017
Other Authors: “...Ölveczky, Peter Csaba....”
eBook
Search Tools: Get RSS Feed — Email this Search