Susanne Graf

Susanne Graf

Research Director, CNRS, Grenoble University, Verimag
Verified email at imag.fr
Cited by 6059
Computer Science Real Time and Embedded Systems model-checking abstraction techniques Formal design and verification