Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver

Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

19 Sitaatiot (Scopus)
400 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science