Design for constraint violation detection in safety-critical systems
暂无分享,去创建一个
[1] Doug Lea,et al. Concurrent Programming In Java , 1996 .
[2] Wei-Tek Tsai,et al. Experience in capturing requirements for safety-critical medical devices in an industrial environment , 1997, Proceedings 1997 High-Assurance Engineering Workshop.
[3] Wei-Tek Tsai,et al. Backup pattern: designing redundancy in object-oriented software , 1996 .
[4] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[5] J. Davenport. Editor , 1960 .
[6] Bran Selic,et al. The challenges of real-time software design , 1996 .
[7] Wei-Tek Tsai,et al. Regression testing in an industrial environment , 1998, CACM.
[8] Wei-Tek Tsai,et al. Retrofitting software safety in an implantable medical device , 1994, IEEE Software.
[9] Wei-Tek Tsai,et al. Capturing Safety-Critical Medical Requirements , 1998 .
[10] W. T. Tsai,et al. Ensuring system and software reliability in safety-critical systems , 1998, Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering and Technology. ASSET-98 (Cat. No.98EX183).