共 50 条
- [2] Towards Requirements Specification Collaboration Forum for Embedded Software Systems [J]. 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 312 - 317
- [4] A Model Checking based Software Requirements Specification Approach for Embedded Systems [J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
- [5] A Requirements Specification Template of a Communication Network Based on CAN Protocol to Automotive Embedded Systems [J]. JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, 2010, 10 (03): : 143 - 149
- [7] Systems modeling & requirements specification using ECSAM: A method for embedded computer-based systems analysis [J]. 11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 2 - 11
- [9] Requirements, primitives and models for systems specification [J]. 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 323 - 328