共 50 条
- [32] Contract-based modeling and verification of timed safety requirements within SysML Software & Systems Modeling, 2017, 16 : 587 - 624
- [35] Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling ANT 2012 AND MOBIWIS 2012, 2012, 10 : 474 - 481
- [36] Architecture Optimization with SysML Modeling: A Case Study Using Variability MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 311 - 327
- [37] Modeling telemedicine security requirements using a SysML security extension PROCEEDINGS OF 2018 6TH INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2018, : 77 - 82
- [38] System-level modeling and design using SysML and SystemC 2007 INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS, VOLS 1 AND 2, 2007, : 504 - +
- [39] Airport Baggage Handling System Simulation Modeling Using SysML 2015 INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND OPERATIONS MANAGEMENT (IEOM), 2015,
- [40] On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), 2014, : 95 - 104