Vol-1842⫷ Vol-1843 ⫸Vol-1844
urn:nbn:de:0074-1843-0

Copyright © 2017 for the individual papers by the papers' authors. Copyright © 2017 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Vol-1843/133-145⫷Vol-1843/146-150 ⫸Vol-1843/166-173

Alexander Kolchin

Stepan Potiyenko

Alexander A. Letichevsky

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems)