Susanne Graf

Susanne Graf

Research Director, CNRS, Grenoble University, Verimag
Zweryfikowany adres z imag.fr
Cytowane przez 6130
Computer Science Real Time and Embedded Systems model-checking abstraction techniques Formal design and verification