J.UCS Special Issue on Tools for System Design and Verification - Part 2.

Wolfgang Reif Gerhard Schellhorn

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

Keyphrases

special issue
international journal
ai edam
applied intelligence
formal methods
computer aided
design principles
design decisions
special section
ecml pkdd
building blocks
design process
design tools
formal verification
design concepts
world wide
functional verification
case study
fuzzy logic