Developer-friendly verification of process-based systems.

Elke Pulvermüller Sven Feja Andreas Speck

Published in: Knowl. Based Syst. (2010)

Keyphrases

development process
formal methods
software development
multimodal biometrics
distributed systems
retrieval systems
intelligent systems
automated verification
model checking
building blocks
knowledge based systems
real world
web applications
software engineering
expert systems
learning environment
machine learning