Name Card

Full name Familienname, Vorname

Volkanov, Dmitry Yu.

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Glonina, Alevtina B. ; Konnov, Igor ; Podymov, Vladislav V. ; Volkanov, Dmitry Yu. ; Zakhararov, Vladimir A. ; Zorin, Daniil A.	An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts	Präsentation Presentation	2013