Peter Csaba Ölveczky

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

2017 · ENGLISH · EPUB

View details →

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

2019 · ENGLISH · PDF

View details →

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

2019 · ENGLISH · PDF

View details →

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2018 · ENGLISH · PDF

View details →

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2015 · ENGLISH · PDF

View details →

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, ... Computer Science and General Issues)

2010 · ENGLISH · PDF

View details →