Cookies help us deliver our services. By using our services, you agree to our use of cookies.

Cuvillier Verlag

Publications, Dissertations, Habilitations & Brochures.
International Specialist Publishing House for Science and Economy

Cuvillier Verlag

De En Es
MBMV 2014

Jürgen Ruf – Author profile

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

Contributed to the following publications

MBMV 2014
MBMV 2014
Jürgen Ruf
Editor
Dirk Allmendinger
Editor
Matteo Michel
Editor
ISBN-13 (Hard Copy): 978-3-95404-637-9
ISBN-13 (eBook): 978-3-73694-637-8
Price_print
EUR 39.60 EUR 37.62
Price_ebook
EUR 27.72
2014-02-18

▲ nach oben springen