Aleksandr A. Letichevsky
According to our database1,
Aleksandr A. Letichevsky
authored at least 1 paper
in 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems).
Proceedings of the 9th International Conference of Programming, Kyiv, 2014