共 50 条
- [31] Formal modeling with SysML 2012 IEEE 13TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2012, : 340 - 347
- [34] Towards Improved Requirements Engineering with SysML and the User Requirements Notation 2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2016, : 329 - 334
- [36] Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SIMULTECH), 2021, : 83 - 91
- [38] Describing Software Specification by Combining SysML with the B method 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 146 - 151
- [40] Model-Based Structured Requirements in SysML SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,