Login / Signup
Proving specifications of tasking systems using Ada/TL.
James Peters
William J. Hankley
Published in:
TRI-Ada (1990)
Keyphrases
</>
neural network
learning systems
complex systems
management system
intelligent systems
computing systems