Executable black-box tester model synthesis from a non-deterministic EFSM of the system

vastutusandmed
Andres Kull, Kullo Raiend, Jüri Vain
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
ilmumisaasta
leheküljed
lk. 105-108
ISBN
978-9985-59-700-2
märkused
Bibliogr.: 9 nim
keel
inglise
Kull, A., Raiend, K., Vain, J. Executable black-box tester model synthesis from a non-deterministic EFSM of the system // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum. [Tallinn] : [Tallinna Tehnikaülikool], 2007. lk. 105-108.