Oeritte: User-Friendly Counterexample Explanation for Model Checking

Polina Ovsiannikova*, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

10 Sitaatiot (Scopus)
120 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Oeritte: User-Friendly Counterexample Explanation for Model Checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science