Login / Signup
Aleksandr A. Letichevsky
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Reinforcement Learning
Software Systems
Formal Model
Multi Agent
Top Venues
UkrPROG
</>
Publications
</>
Alexander Kolchin
,
Aleksandr A. Letichevsky
,
Stepan Potiyenko
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems).
UkrPROG
(2014)