Automating test case generation for the new generation missionsoftware system
収録刊行物
-
- Proc. IEEE Aerospace Conference, 2000
-
Proc. IEEE Aerospace Conference, 2000 431-437, 2000