共 50 条
- [31] Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2012), 2012, 7437 : 177 - 191
- [33] A trustworthy software design approach for real time embedded systems on the distributed platform 2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 963 - +
- [34] Towards a process model for Service-Oriented Development of Embedded Software Systems 2017 INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT), 2017, : 339 - 344
- [36] Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 396 - 400
- [37] Software technology for embedded systems EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 402 - 410
- [40] Software synthesis for embedded systems ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 643 - 646