Full name Familienname, Vorname
Glonina, Alevtina B.
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Glonina, 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