Login / Signup
David P. McInnis
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Main Contribution
Model Checking
Data Acquisition
Simulation Tools
Top Venues
MESAS
Simul. Model. Pract. Theory
</>
Publications
</>
Phillip J. Durst
,
David P. McInnis
,
Jeremy Davis
,
Christopher T. Goodin
A novel framework for verification and validation of simulations of autonomous robots.
Simul. Model. Pract. Theory
117 (2022)
John G. Monroe
,
Keith Martin
,
Mark S. Ewing
,
Morgan Johnston
,
Mary Claire Allison
,
Zachary Aspin
,
Collin Davenport
,
Gary Lynch
,
David P. McInnis
,
Tom McKenna
Integrating Real-Time Vehicle and Watercraft Modeling and Simulation Tools for Analysis of Amphibious Operations.
MESAS
(2021)