[ main page ] [ back ]

57/2005 : Model-Checking Studies of the FlexRay Startup Algorithm

RR Number
57/2005
Author(s)
Wilfried Steiner
Bibtex
@techreport{ steiner:2005-57,
  author =       "Wilfried Steiner",
  title =        "Model-Checking Studies of the FlexRay Startup Algorithm",
  institution =  "Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik",
  address =      "Treitlstr. 1-3/182-1, 1040 Vienna, Austria",
  type =         "Research Report",
  year =         "2005",
  number =       "57/2005"
}
Download
Get FlexRay-Startup.tar.gz - Gnu-zipped, (664.4473 KB; posted at July 09 2013)

[ main page ] [ back ]