G. Franceschinis, M. Gribaudo, M. Iacono, V. Vittorini, Claudio Bertoncello
{"title":"DrawNet++: a flexible framework for building dependability models","authors":"G. Franceschinis, M. Gribaudo, M. Iacono, V. Vittorini, Claudio Bertoncello","doi":"10.1109/DSN.2002.1028961","DOIUrl":null,"url":null,"abstract":"The DrawNet++ project addresses the compositional construction of dependability models. Its main goals are to provide: a) a GUI to any graph-based formalism; b) a support to the design process of dependability models, according to concepts inspired by object orientation (OO); c) a user friendly front-end for different classes of analysis/simulation tools.","PeriodicalId":93807,"journal":{"name":"Proceedings. International Conference on Dependable Systems and Networks","volume":"28 1","pages":"540-"},"PeriodicalIF":0.0000,"publicationDate":"2002-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. International Conference on Dependable Systems and Networks","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DSN.2002.1028961","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 14
Abstract
The DrawNet++ project addresses the compositional construction of dependability models. Its main goals are to provide: a) a GUI to any graph-based formalism; b) a support to the design process of dependability models, according to concepts inspired by object orientation (OO); c) a user friendly front-end for different classes of analysis/simulation tools.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
