Vitaly Kozyura
发表
Wei Wei,
Sebastian Wieczorek,
Vitaly Kozyura,
2011
.
Ina Schieferdecker,
Anis Charfi,
Sebastian Wieczorek,
2009,
2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.
Barbara König,
Vitaly Kozyura,
2006,
TACAS.
Wei Wei,
Vitaly Kozyura,
Andreas Roth,
2009,
2009 Fourth South-East European Workshop on Formal Methods.
Vitaly Kozyura,
V. Kozyura,
2006,
GT-VC@CONCUR.
Dennis Güttinger,
Sebastian Wieczorek,
Vitaly Kozyura,
2013,
ICTSS.
Barbara König,
Vitaly Kozyura,
B. König,
2007,
Inf. Process. Lett..
Ina Schieferdecker,
Michael Leuschel,
Jens Bendisposto,
2009,
TestCom/FATES.
Vitaly Kozyura,
2001,
Ershov Memorial Conference.
Barbara König,
Vitaly Kozyura,
B. König,
2005,
Bull. EATCS.
Barbara König,
Vitaly Kozyura,
B. König,
2008,
ICGT.
Barbara König,
Vitaly Kozyura,
B. König,
2008,
GT-VMT@ETAPS.
Nikolay V. Shilov,
Valery A. Nepomniaschy,
Evgeny V. Bodin,
2002,
IFM.
Wei Wei,
Sebastian Wieczorek,
Vitaly Kozyura,
2013,
Industrial Deployment of System Engineering Methods.
Valery A. Nepomniaschy,
Vitaly Kozyura,
Ruslan M. Novikov,
2002,
Proceedings. International Conference on Parallel Computing in Electrical Engineering.
Wei Wei,
Sebastian Wieczorek,
Vitaly Kozyura,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Vitaly Kozyura,
V. Kozyura,
2010
.