Testing automation systems by means of model checking.

Igor Buzhinsky, Valeriy Vyatkin

Browse the full ETFA paper archive.