Article

CLASSIFICATION OF CONNECTIONS BETWEEN WEB APPLICATION PARTS AND WEB APPLICATION MODELING WITH THE FINITE STATE MACHINES

Article

GENERATION OF FINITE STATE MACHINES FOR UNMANNED AIRPLANE CONTROLLING

Article

SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS