Sciweavers

2 search results - page 1 / 1
» Ramonamap - an Example of Graphical Groupware
Sort
View
DSVIS
2005
Springer
14 years 29 days ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella