Login / Signup
Peter Chapin
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Theorem Prover
Database
Evolutionary Computation
Control Program
Top Venues
Ada-Europe
</>
Publications
</>
Carl Brandon
,
Peter Chapin
A SPARK/Ada CubeSat Control Program.
Ada-Europe
(2013)
Chad Loseby
,
Peter Chapin
,
Carl Brandon
Use of SPARK in a resource constrained embedded system.
SIGAda
(2009)