Lv4
420 积分 2024-07-01 加入
SEQUAL as a Framework for Understanding and Assessing Quality of Models and Modeling Languages
14小时前
已完结
A Data-Centric System Architecture Model Development Process Emphasizing Rapid Tempo and Quality
1个月前
已完结
Towards an Automated UAF-based Trade Study Process for System of Systems Architecture
1个月前
已完结
Discovery the Quality of UML Models Through an Exploration of Dataset in Practice
1个月前
已完结
Discovery the Quality of UML Models Through an Exploration of Dataset in Practice
1个月前
已关闭
Automating Rule-Checking to Identify SysML Modeling Errors: A Preliminary Study in a Classroom Environment
1个月前
已完结
Demonstration of a Model-based Approach for Formal Verification of I&C Logics
1个月前
已完结
System verification via Model-Checking: A case study of an autonomous multi-differential drive robot
1个月前
已完结
LEVERAGING MBSE USAGE THROUGH MODEL CHECKERS
1个月前
已完结
Leveraging SPARQL Queries for UML Consistency Checking
4个月前
已完结
Ultrathin high-entropy layered double hydroxide electrocatalysts for enhancing oxygen evolution reaction
4个月前
已采纳
Light stability and mechanism of monascus pigment under different lights
4个月前
已采纳
Effect of PEG concentration on drug release from PLA-PEG copolymers: A molecular dynamics simulation study
4个月前
已采纳
皖公网安备34019202002308
