Special Issue on Tools for System Design and Verification.

Rudolf Berghammer Dominik Haneberg Wolfgang Reif Gerhard Schellhorn

Published in: J. Univers. Comput. Sci. (2003)

Keyphrases

special issue
ai edam
design decisions
ecml pkdd
international journal
formal methods
building blocks
special section
applied intelligence
knowledge discovery
design principles
design tools
design concepts
decision support system
formal verification
functional verification