EMPIRE and EMPHASIS: Verification and Validation
Cartwright, Keith C.; Bettencourt, Matthew T.; Pointon, Timothy D.; Beckwith, Kristian B.; Cyr, Eric C.; Kramer, Richard M.; McDoniel, William M.; Miller, Sean M.; Radtke, Gregg A.; Shields, Sidney S.; Swan, Matthew S.; Turner, C.D.; Moore, Christopher H.
Abstract not provided.