E. Pek
发表
P. Madhusudan,
P. Garg,
A. Gyori,
2015
.
Nikola Bogunovic,
Edgar Pek,
N. Bogunovic,
2006,
13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
Nikola Bogunović,
Edgar Pek,
N. Bogunovic,
2004
.
N. Bogunovic,
E. Pek,
N. Bogunovic,
2003,
The IEEE Region 8 EUROCON 2003. Computer as a Tool..
Indranil Gupta,
Muntasir Raihan Rahman,
Karl Palmskog,
2017,
ArXiv.
Muntasir Raihan Rahman,
Indranil Gupta,
P. Madhusudan,
2015
.
Grigore Rosu,
Traian-Florin Serbanuta,
Edgar Pek,
2016,
RV.
Pranav Garg,
P. Madhusudan,
Edgar Pek,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
N. Bogunovic,
E. Pek,
E. Pek,
2004,
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521).
Nikola Bogunović,
Edgar Pek,
N. Bogunovic,
2003
.
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.
Nikola Bogunović,
Edgar Pek,
N. Bogunovic,
2006
.
Igor Grudenic,
Nikola Bogunovic,
Edgar Pek,
2003
.
Roberto Bruttomesso,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
TACAS.