共 50 条
- [31] Formal modeling with SysML 2012 IEEE 13TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2012, : 340 - 347
- [32] Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 388 - 399
- [33] FUNCTIONAL REASONING OF SYSTEM ARCHITECTURE IN THE SYSTEM MODELING LANGUAGE (SYSML) WITH XML REPRESENTATION PROCEEDINGS OF ASME 2023 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2023, VOL 2, 2023,
- [34] SysML4GDPSim: A SysML Profile for Modeling Geometric Deviation Propagation in Multistage Manufacturing Systems Simulation APPLIED SCIENCES-BASEL, 2024, 14 (05):
- [35] SysML Contracts for Systems of Systems PROCEEDINGS OF THE 2014 9TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE 2014), 2014, : 73 - 78
- [36] Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML 2018 IEEE 26TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2018), 2018, : 442 - 447
- [37] Review of Cyber-Physical Systems Modeling With UML, SysML, and MARTE IEEE ACCESS, 2025, 13 : 47132 - 47145
- [38] INTERDISCIPLINARY SYSTEMS MODELING USING THE CONTACT & CHANNEL-MODEL FOR SYSML PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 11): IMPACTING SOCIETY THROUGH ENGINEERING DESIGN, VOL 9: DESIGN METHODS AND TOOLS, PT 1, 2011, 9
- [39] Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML 2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 150 - 157
- [40] Modeling Space Operations Systems Using SysML as to Enable Anomaly Detection SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2015, 8 (02): : 189 - 194