Jürgen Ruf – perfil de autor

Juergen studied computer science at the University of Karlsruhe. He finished his diploma thesis in 1996 and joined the University as research staff member. He finished his PhD in 1999 in the area of formal verification of real time systems. Juergen worked as post doc for four years at the University of Tuebingen. In 2003 he joined the IBM research and development lab in Boeblingen. Juergen worked there as team lead in various verification projects mainly in the I/O domain (Infiniband, Ethernet, PCIe).

Colaboro en las siguientes publicaciones

MBMV 2014

Dirk Allmendinger

Editor

Matteo Michel

Editor

Jürgen Ruf

Editor

ISBN-13 (Impresion): 978-3-95404-637-9
ISBN-13 (E-Book): 978-3-73694-637-8

EUR 39,60 EUR 37,62

EUR 0,00

18.02.2014