Exact finite-state machine identification from scenarios and temporal properties

Vladimir Ulyantsev, Igor Buzhinsky*, Anatoly Shalyto

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

15 Sitaatiot (Scopus)
169 Lataukset (Pure)

Sormenjälki Sukella tutkimusaiheisiin 'Exact finite-state machine identification from scenarios and temporal properties'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Engineering & Materials Science