Sponsored White Papers, Webcasts, and Downloads
ZDNet Resources
- sort by:
- Relevance
- Date
- Popularity
- Towards Model Checking Stochastic Aspects of the thinkteam User Interface
- Stochastic model checking is a recent extension of traditional model-checking techniques for the integrated analysis of both qualitative and quantitative system properties. This paper shows how stochastic model checking can be conveniently used to address a number of usability concerns that involve quantitative aspects of a user interface for the...
- White papers
- << Previous
- page 1 of 1
- Next >>
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
