Language: English
Help
Login
Jump To : Overview | Titles | Subjects

Ölveczky, Peter Csaba.

Overview
Works: 1 works in 0 publications in 0 languages
Titles
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: Artho, Cyrille.; SpringerLink (Online service); Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / by: Ölveczky, Peter Csaba.; SpringerLink (Online service); Artho, Cyrille. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / by: Bae, Kyungmin.; SpringerLink (Online service); Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: Cerone, Antonio.; SpringerLink (Online service); Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / by: Ölveczky, Peter Csaba.; SpringerLink (Online service); Artho, Cyrille. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by: SpringerLink (Online service); Martí-Oliet, Narciso.; Ölveczky, Peter Csaba.; Talcott, Carolyn. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / by: SpringerLink (Online service); Ölveczky, Peter Csaba.; Braga, Christiano. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: SpringerLink (Online service); Cerone, Antonio.; Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by: SpringerLink (Online service); Salaün, Gwen.; Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login