Test suite generation methods for concurrent systems based on coloured Petri nets.

Autor:	Watanabe, H., Kudoh, T.
Zdroj:	Proceedings 1995 Asia Pacific Software Engineering Conference; 1995, p242-251, 10p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu