共 50 条
- [1] Requirements for specification of embedded systems [J]. NINTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE AND EXHIBIT, PROCEEDINGS, 1996, : 133 - 137
- [3] 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] Evaluation of network protocol for automotive data communication [J]. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 73 - 78
- [6] On Synthesizing Technical Cybersecurity Requirements for Automotive Embedded Systems [J]. 2016 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE & COMPUTATIONAL INTELLIGENCE (CSCI), 2016, : 1074 - 1076
- [8] Communication protocol evaluation for embedded systems [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1 AND 2, PROCEEDINGS, 2003, : 1006 - 1011
- [10] 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