Testing automation systems by means of model checking

Igor Buzhinsky, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

4 Sitaatiot (Scopus)
242 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Testing automation systems by means of model checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science