Improved frequency measurement by means of DMM and verification of its specifications.
Nikica HlupicJosip ButoracMario KresicPublished in: IEEE Trans. Instrum. Meas. (2005)
Keyphrases
- automated verification
- concurrent systems
- model checking
- model checker
- delay insensitive
- formal specification
- formal verification
- high level
- asynchronous circuits
- improved algorithm
- formal methods
- protocol specification
- information retrieval
- control flow
- finite state machines
- temporal logic
- statistical model
- least squares
- wavelet transform
- artificial intelligence