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

types of item

  • book article
    Executable black-box tester model synthesis from a non-deterministic EFSM of the systemKull, Andres; Raiend, Kullo; Vain, JüriInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 105-108
    book article
Number of records 1, displaying 1 - 1