Author:
Hinchey Mike,Rash James L.,Rouff Christopher A.,Truszkowski Walt F.,Vanderbilt Amy K. C. S.
Reference50 articles.
1. LNAI;Bakam,2000
2. Communicating X-machines;Barnard;Information and Software Technology,1996
3. M. Blackburn R. Busser A. Nauman R. Knickerbocker R. Kasuda Mars Polar Lander fault identification using model-based testing Proceedings of the 26th Annual IEEE/NASA Software Engineering Workshop (SEW) 2001