August 2026

avatar
Ruizhe Yang
Articles
40
Tags
71
Categories
56
Recent Post
笔记：Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal-mechanical systems of aero-engines
笔记：Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal-mechanical systems of aero-engines
笔记：Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy
笔记：Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy
笔记：Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
笔记：Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
笔记：Dynamic Verification of Space Missions via Flexible Model-Based Co-simulation with Systems Modeling Language and SpaceSim
笔记：Dynamic Verification of Space Missions via Flexible Model-Based Co-simulation with Systems Modeling Language and SpaceSim
笔记：A Model Management Framework for Next-Generation Web-based Modeling Tools
笔记：A Model Management Framework for Next-Generation Web-based Modeling Tools
Categories
Tags
Survey OSATE Co-simulation Satellite Validation & Verification Industry 4.0 Model-View Review MDE M2T Traceability management Requirements Engineering Model Transformations Responsible Model Transformation Digital thread Fault Injection Model Federation ATL Xtext Automated Software Engineering SysML Insights satellite UnQL Safety Analysis DSML RAAML Cognitive thread Formal Methods S&R Web Model-to-text Transformation RAS Safety MBSE Formal Verification Eclipse Picto Rocket Engine
Archives
Info
Article :
40
Runtime :
Total Count :
69.8k
UV :
PV :
Last Update :