Olveczky, Peter Csaba.

概要

作品:	2 作品在 11 項出版品 1 種語言

書目資訊

Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: Braga, Christiano.; Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude / by: Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: Meseguer, Jose.; Marti-Oliet, Narciso.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn. (書目-電子資源)

Formal techniques for safety-critical systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers / by: Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service); FTSCS (Workshop) (2016 :) (書目-電子資源)

Theoretical aspects of computing - ICTAC 2021 = 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / by: Cerone, Antonio.; Olveczky, Peter Csaba.; SpringerLink (Online service); ICTAC (Colloquium) (2021 :) (書目-電子資源)

Formal techniques for safety-critical systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / by: Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service); FTSCS (Workshop) (2018 :) (書目-電子資源)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: Arbab, Farhad.; Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers / by: Artho, Cyrille.; Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

主題