Showing 1 - 3 results of 3 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
Get full text
Book
Save to List
Saved in:
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, szerk....”
Get full text
Book
Save to List
Saved in:
3
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Published: 2019
Other Authors: “...Ölveczky, Peter Csaba, szerk....”
Get full text
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —