Olveczky, Peter Csaba.

概要

作品:	0 作品在 12 項出版品 1 種語言

書目資訊

Formal Aspects of Component Software15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / by: (1998 :); Bae, Kyungmin.; Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

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

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

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

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

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

Rewriting logic and its applications8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / by: (1998 :); Olveczky, Peter Csaba.; SpringerLink (Online service) (書目-電子資源)

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

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

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

主題