81
Voted
KBSE
1997
IEEE
15 years 11 days ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...