Sign in
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System.
Gabriel Huecas
Tomás Robles
L. M. Gonzalez
J. Serrano
Published in:
FORTE (1998)
Keyphrases
</>
software engineering
machine learning
case study
decision support
rapid development
development environment
real world
search algorithm
artificial neural networks
decision support system
practical application
cross platform
model driven engineering