Login / Signup
David A. Wagner
Publication Activity (10 Years)
Years Active: 2005-2010
Publications (10 Years): 0
</>
Publications
</>
Matthew Bennett
,
Richard Borgen
,
Klaus Havelund
,
Michel D. Ingham
,
David A. Wagner
Prototyping a Domain-Specific Language for Monitor and Control Systems.
J. Aerosp. Comput. Inf. Commun.
7 (11) (2010)
Damian Dechev
,
Rabi N. Mahapatra
,
Bjarne Stroustrup
,
David A. Wagner
C++ Dynamic Cast in Autonomous Space Systems.
ISORC
(2008)
Julia M. B. Braman
,
Richard M. Murray
,
David A. Wagner
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.
IROS
(2007)
David A. Wagner
Data management in the mission data system.
SMC
(2005)