Jürgen Ruf – Autorenprofil

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).

Mitwirkend an folgenden Publikationen

MBMV 2014

Dirk Allmendinger

Herausgeber

Matteo Michel

Herausgeber

Jürgen Ruf

Herausgeber

ISBN-13 (Printausgabe): 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