Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Popesko, U V
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
111
Abstract pages:
257
Full texts:
138
https://www.mathnet.ru/eng/person108368
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
2014
1.
V. V. Podymov, U. V. Popesko, “Uppaal-based verification of software-defined networks”,
St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys
, 2014, no. 2(193),
169–179
Organisations
Lomonosov Moscow State University
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024
Contact us: