Login / Signup
Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment.
Tony M. Carter
Alan L. Davis
Alan B. Hayes
Gary Lindstrom
Dan Klass
Mike P. Maloney
Brent E. Nelson
Elliott I. Organick
Kent F. Smith
Published in:
COMPCON (1984)
Keyphrases
</>
test cases
low cost
programming environment
mobile robot
dynamic environments
data sets
real time
low power
complex environments
high density
website
high speed
autonomous agents
environmental conditions
symbolic execution