Dario Kresic

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Network Resources

Top Venues

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher, Reinhard German
Verifying Worst Case Delays in Controller Area Network. MMB/DFT (2012)
Soroush Haeri, Dario Kresic, Ljiljana Trajkovic
Probabilistic verification of BGP convergence. ICNP (2011)