P. C. Ölveczky
发表
Farhad Arbab,
P. C. Ölveczky,
F. Arbab,
2012
.
Farhad Arbab,
P. C. Ölveczky,
F. Arbab,
2012
.
Peter Csaba Ölveczky,
Cyrille Artho,
P. C. Ölveczky,
2019,
Sci. Comput. Program..
P. C. Ölveczky,
Eduard Bentea,
L. Bentea,
2014
.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
Peter Csaba Ölveczky,
José Meseguer,
Si Liu,
2016
.
P. C. Ölveczky,
J. Meseguer,
D. Basin,
2022,
Proc. ACM Program. Lang..
P. C. Ölveczky,
P. Milazzo,
Giovanna Broccia,
2019,
Innovations in Systems and Software Engineering.
Giovanna Broccia,
Paolo Milazzo,
Peter Csaba Ölveczky,
2018,
NFM.
Peter Csaba Ölveczky,
Lucian Bentea,
P. C. Ölveczky,
2012,
WADT.
Peter Csaba Ölveczky,
Cyrille Artho,
P. C. Ölveczky,
2014,
Communications in Computer and Information Science.
Peter Csaba Ölveczky,
Artur Boronat,
José Meseguer,
2010,
FMOODS/FORTE.
Peter Csaba Ölveczky,
José Meseguer,
Mark-Oliver Stehr,
2001,
UNIGRA.
Peter Csaba Ölveczky,
José Meseguer,
Mark-Oliver Stehr,
2001,
Unifying Petri Nets.
Peter Csaba Ölveczky,
José Meseguer,
Carolyn L. Talcott,
2002,
Proceedings DARPA Active Networks Conference and Exposition.
Peter Csaba Ölveczky,
Narciso Martí-Oliet,
Carolyn L. Talcott,
2015,
Logic, Rewriting, and Concurrency.
Peter Csaba Ölveczky,
Jon Grov,
P. C. Ölveczky,
2014,
SEFM.
Peter Csaba Ölveczky,
Lucian Bentea,
P. C. Ölveczky,
2011,
FORMATS.
Peter Csaba Ölveczky,
Kyungmin Bae,
P. C. Ölveczky,
2018,
Lecture Notes in Computer Science.
Peter Csaba Ölveczky,
Jon Grov,
P. C. Ölveczky,
2014,
Specification, Algebra, and Software.
Peter Csaba Ölveczky,
Sigurd Meldal,
P. C. Ölveczky,
2007
.
Peter Csaba Ölveczky,
Lucian Bentea,
Eduard Bentea,
2014
.
Peter Csaba Ölveczky,
Erika Ábrahám,
Muhammad Fadlisyah,
2010,
RTRTS.
Peter Csaba Ölveczky,
José Meseguer,
P. C. Ölveczky,
2007,
High. Order Symb. Comput..
Peter Csaba Ölveczky,
Lucian Bentea,
Eduard Bentea,
2013,
CMSB.
Peter Csaba Ölveczky,
Erika Ábrahám,
Muhammad Fadlisyah,
2011,
TTSS.
Peter Csaba Ölveczky,
Jon Grov,
P. C. Ölveczky,
2013,
Globe.
Peter Csaba Ölveczky,
José Meseguer,
Qi Wang,
2020,
NFM.
Peter Csaba Ölveczky,
Edward A. Lee,
Stavros Tripakis,
2012,
Sci. Comput. Program..
Peter Csaba Ölveczky,
Kyungmin Bae,
P. C. Ölveczky,
2010,
RTRTS.
Peter Csaba Ölveczky,
Stavros Tripakis,
Kyungmin Bae,
2009,
ICFEM.
Peter Csaba Ölveczky,
José Meseguer,
P. C. Ölveczky,
2002,
Theor. Comput. Sci..
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2019,
Formal Aspects of Computing.
Peter Csaba Ölveczky,
José Meseguer,
Min Zhang,
2019,
TACAS.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2018,
FASE.
Indranil Gupta,
José Meseguer,
Rakesh B. Bobba,
2017,
Assured Cloud Computing.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2018
.
Peter Csaba Ölveczky,
P. C. Ölveczky,
2017,
TTCS.
Peter Csaba Ölveczky,
P. C. Ölveczky,
2016
.
Peter Csaba Ölveczky,
Olav Lysne,
P. C. Ölveczky,
1996,
ALP.
Peter Csaba Ölveczky,
P. C. Ölveczky,
2010,
Lecture Notes in Computer Science.
Peter Csaba Ölveczky,
Stian Thorvaldsen,
P. C. Ölveczky,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Peter Csaba Ölveczky,
Marco Caccamo,
P. C. Ölveczky,
2006,
FASE.
P. C. Ölveczky,
Jaime Arias,
L. Petrucci,
2023,
Petri Nets.
Bernhard Schölkopf,
Alexander J. Smola,
P. C. Ölveczky,
2001
.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
P. C. Ölveczky,
K. Bae,
Jaime Arias,
2024,
ArXiv.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2007,
CALCO.
P. C. Ölveczky,
Buys R T,
2009
.
Peter Csaba Ölveczky,
José Meseguer,
Kyungmin Bae,
2015,
Sci. Comput. Program..
Giovanna Broccia,
Paolo Milazzo,
Peter Csaba Ölveczky,
2017,
SEFM Workshops.
P. C. Ölveczky,
Christiano Braga,
2015,
Lecture Notes in Computer Science.