VOLUME 16 2011 NUMBER 1

Generating Optimal Distinguishing Sequences for Testing Timed Protocols
Ariel Stulman
Pages 49–65





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2011-049,
  author  = {Ariel Stulman},
  title   = {Generating Optimal Distinguishing Sequences for Testing Timed Protocols},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {16},
  number  = {1},
  pages   = {49--65},
  year    = {2011},
  url     = {https://doi.org/10.25596/jalc-2011-049},
  doi     = {10.25596/jalc-2011-049}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: distinguishing sequence, state identification, timed automata, protocol testing
DOI: 10.25596/jalc-2011-049