An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration inThinkteam®

Autor:	Gianluca Trentanni, Stefania Gnesi, Maurice H. ter Beek, Diego Latella, Mieke Massink, Maurizio Sebastianis
Rok vydání:	2012
Předmět:	Model checking Theoretical computer science Groupware Computer science business.industry Formal methods Verification Stochastic model checking Software engineering business
Zdroj:	Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 179–203, 2013 info:cnr-pdr/source/autori:Ter Beek M.H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G./titolo:An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam/titolo_volume:Formal Methods for Industrial Critical Systems: A Survey of Applications/curatori_volume:Stefania Gnesi, Tiziana Margaria/editore:/anno:2013
DOI:	10.1002/9781118459898.ch9
Popis:	This chapter contains sections titled: Introduction thinkteam Analysis of the thinkteam Log File thinkteam with Replicated Vaults Lessons Learned Conclusions Acknowledgments References
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2dda849aeeb8557430d39751c9540d4 https://doi.org/10.1002/9781118459898.ch9 Zobrazit plný text záznamu