iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/08/10608.rss
dblp: Dario Kresic https://dblp.org/pid/08/10608.html dblp person page RSS feed Wed, 08 May 2024 21:04:15 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Dario Kresichttps://dblp.org/pid/08/10608.html14451 Verifying Worst Case Delays in Controller Area Network.https://doi.org/10.1007/978-3-642-28540-0_7, , , :
Verifying Worst Case Delays in Controller Area Network. MMB/DFT : 91-105]]>https://dblp.org/rec/conf/mmb/IvkovicKHG12Sun, 01 Jan 2012 00:00:00 +0100 Probabilistic verification of BGP convergence.https://doi.org/10.1109/ICNP.2011.6089037, , :
Probabilistic verification of BGP convergence. ICNP : 127-128]]>https://dblp.org/rec/conf/icnp/HaeriKT11Sat, 01 Jan 2011 00:00:00 +0100 Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen.http://www.opus.ub.uni-erlangen.de/opus/volltexte/2008/936/:
Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen. University of Erlangen-Nuremberg, Germany, , pp. 1-]]>https://dblp.org/rec/phd/de/Kresic2008Tue, 01 Jan 2008 00:00:00 +0100