Name Card

Full name Familienname, Vorname
Podymov, Vladislav V.
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Volkanov, D. Yu ; Zakharov, V. A. ; Zorin, D. A. ; Podymov, Vladislav V. ; Konnov, I. V. A Combined Toolset for the Verification of Real-Time Distributed SystemsArtikel Article 2015
2Glonina, 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 statechartsPräsentation Presentation2013