A Self-Adversarial Approach to Delay Analysis under Arbitrary Scheduling

Schmitt, Jens; Wang, Hao; Martinovic, Ivan

by Jens Schmitt, Hao Wang, Ivan Martinovic

Reference:

A Self-Adversarial Approach to Delay Analysis under Arbitrary Scheduling (Jens Schmitt, Hao Wang, Ivan Martinovic), In Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Springer Verlag, 2010.

Bibtex Entry:

@inproceedings{SWM10-2,
  author       = {Jens Schmitt and Hao Wang and Ivan Martinovic},
  title        = {{A Self-Adversarial Approach to Delay Analysis under Arbitrary Scheduling}},
  booktitle    = {{Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)}},
  year         = {2010},
  pages        = {},
  publisher    = {Springer Verlag},
  month        = oct,
  url = {/discofiles/publicationsfiles/SWM10-2.pdf}
}