Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Michael Gerke 0002. Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata. PhD thesis, Saarland University, Saarbrücken, Germany, 2020. [doi]

@phdthesis{dnb-23553,
  title = {Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata},
  author = {Michael Gerke 0002},
  year = {2020},
  url = {http://d-nb.info/1229436014},
  researchr = {https://researchr.org/publication/dnb-23553},
  cites = {0},
  citedby = {0},
  school = {Saarland University, Saarbrücken, Germany},
}

runs on WebDSL