Publications
References
Articles: |
---|
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences,
45(7)
2011
ISSN: 0146-4116
|
Program Complex OpenMVL for Modeling Complex Dynamic Systems,
«Дифференциальные уравнения и процессы управления»,,
1:4
2011
|
«Physical modelind» in Model Vision Studium
«Дифференциальные уравнения и процессы управления»,
2
2011
|
Proceedings: |
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor,
Volume 6873
of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011
|
Contributions to proceedings: |
Generalized Concatenated Codes Based on Polar Codes
Proceedings of IEEE International Symposium on Wireless Communication Systems
2011
|
Towards e-government services in Russia
KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing
2011
|
mailto: webmaster@dcn.ftk.spbstu.ru