Formal Testing of Systems Presenting Soft and Hard Deadlines.

Mercedes G. Merayo Manuel Núñez Ismael Rodríguez

Published in: FSEN (2007)

Keyphrases

neural network
expert systems
management system
response time
formal methods
real time
decision making
intelligent systems
knowledge base
multiscale
evolutionary algorithm
computer systems
complex systems
software testing