A Study on the Specification and Verification of Performance Properties (Extended Abstract).

Xiao Jun Chen Flavio Corradini Roberto Gorrieri

Published in: AMAST (1996)

Keyphrases

extended abstract
neural network
experimental study
evolutionary algorithm
machine learning
information retrieval
artificial intelligence
information systems
decision making
high level
empirical studies
theoretical framework
model checking
simulation study