A Generic Approach for the Automatic Verification of Featured, Parameterised Systems.

Alice Miller Muffy Calder

Published in: FIW (2005)

Keyphrases

complex systems
expert systems
management system
computer systems
building blocks
real time
feature selection
wide range
search algorithm
medical images
information retrieval systems
knowledge based systems
business processes
retrieval systems