共 50 条
- [32] A graphical modeling and analysis tool for Bayesian based structural reliability analysis STRUCTURAL HEALTH MONITORING 2007: QUANTIFICATION, VALIDATION, AND IMPLEMENTATION, VOLS 1 AND 2, 2007, : 851 - 858
- [33] ECLIPSE-DDML: A GRAPHICAL MODELING TOOL FOR DYNAMIC SYSTEM SIMULATION EUROPEAN SIMULATION AND MODELLING CONFERENCE 2011, 2011, : 61 - +
- [34] 5SGraph demo:: A graphical modeling tool for digital libraries 2003 JOINT CONFERENCE ON DIGITAL LIBRARIES, PROCEEDINGS, 2003, : 385 - 385
- [35] A graphical tool for formal verification using Event-B modeling Multimedia Tools and Applications, 2024, 83 : 10899 - 10923
- [37] Process Mining as a Modelling Tool: Beyond the Domain of Business Process Management SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 139 - 144
- [39] Unified Process Modeling with UPROM Tool INFORMATION SYSTEMS ENGINEERING IN COMPLEX ENVIRONMENTS, 2015, 204 : 250 - 266
- [40] Healthcare service process modeling using process mining techniques Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2010, 16 (12): : 2749 - 2756