Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude

by Ölveczky, Peter Csaba,
Published: Springer, 2017

Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers

Published: Springer, 2010

Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised selected papers

Published: Springer, 2014

Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers

Published: Springer, 2015

Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers

Published: Springer, 2016

Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers

Published: Springer, 2012

Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers

Published: Springer, 2016

Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday

Published: Springer, 2015

Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Published: Springer, 2018

Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

Published: Springer, 2017

Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers

Published: Springer, 2019

Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings

Published: Springer, 2019

Theoretical aspects of computing - ICTAC 2021 : 18th international colloquium virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings

Published: Springer, 2021