Development of the Test Suite with Formally Verified FSM Coverage: A Case Study

von Itkin, Josif
Veröffentlicht in TMPA (5. : 2019 : Tiflis) Tools and methods of program analysis (2021)

How the Minimal Degree of a Social Graph Affects the Efficiency of an Organization

von Samonenko, Ilya
Veröffentlicht in AIST (9. : 2020 : Online) Recent trends in analysis of images, social networks and texts (2021)