Design Verification Patterns.

John Knudsen Anders P. Ravn Arne Skou

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

design patterns
frequent patterns
model checking
artificial intelligence
information systems
spatio temporal
real world
similarity measure
artificial neural networks
design process
computer aided
user experience
design space