Search Results - formal verification
-
1
Engineering principles of combat modeling and distributed simulation
Published 2012Table of Contents: “…Noseworthy -- Combat modeling using the DEVS formalism / I.-C. Moon & T.G. Kim -- GIS data for combat modeling / J.D. …”
An electronic book accessible through the World Wide Web; click to view
Electronic eBook