A Self−Adversarial Approach to Delay Analysis under Arbitrary Scheduling
Jens Schmitt‚ Hao Wang and Ivan Martinovic
Book Title
Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA 2010)
Month
oct
Publisher
Springer Verlag
Year
2010