Fast and automated verification of multi-channel full time-domain EMI measurement systems.

Marco A. Azpurua Jose A. Oliva Marc Pous Ferran Silva

Published in: I2MTC (2017)

Keyphrases

multi channel
automated verification
model checking
formal verification
distributed systems
automated reasoning
computing environments
single channel
social networks