Analog property checkers: a DDR2 case study.

Kevin D. Jones Victor Konrad Dejan Nickovic

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

case study
signal processing
practical guidelines
real time
real world
information technology
knowledge management
software development
business process
development process
game playing
monotonicity property