Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Shchepetkov, Ilya V."'
Autor:
Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.
Publikováno v:
Perspectives of System Informatics (9783319415789); 2016, p107-115, 9p
Autor:
Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p309-313, 5p