Oleg Parshin
发表
Reinhard Wilhelm,
Tulika Mitra,
Guillem Bernat,
2004
.
Oleg Parshin,
Reinhold Heckmann,
Christian Ferdinand,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Natalia Buzalo,
Oleg Parshin,
Alexey Bulgakov,
2016
.
Reinhard Wilhelm,
Oleg Parshin,
Reinhold Heckmann,
2006,
ASWSD.
Reinhard Wilhelm,
Oleg Parshin,
Philipp Lucas,
2012,
Advances in Real-Time Systems.
Abdur Rakib,
Reinhard Wilhelm,
Oleg Parshin,
2004,
ATVA.
Reinhard Wilhelm,
Oleg Parshin,
Philipp Lucas,
2013
.
Thomas Bock,
Oleg Parshin,
Dimitry Parshin,
2004
.
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers
Oleg Parshin,
Reinhold Heckmann,
Christian Ferdinand,
2007
.