Vol-2259⫷ Vol-2260 ⫸Vol-2261
urn:nbn:de:0074-2260-0

Copyright © 2018 for the individual papers by the papers' authors. Copyright © 2018 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-2260/3_89-99⫷Vol-2260/4_100-110 ⫸Vol-2260/49_111-121

Igor Burdonov

Nina Evtushenko

Alexander Kossatchev

Синтез тестов для синхронной композиции детерминированных и полностью определенных автоматов (Deriving Tests for the Synchronous Composition of Deterministic Complete Finite State Machines)