共 50 条
- [41] Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback [J]. 2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2023, : 75 - 80
- [42] Integrating formal learning into work-integrated learning to create a semi-formal environment [J]. ASIA-PACIFIC JOURNAL OF COOPERATIVE EDUCATION, 2018, 19 (02): : 181 - 191
- [44] Semi-formal method for security policies and design specifications [J]. 2017, Tsinghua University (57):
- [45] CyberGSN: A Semi-formal Language for Specifying Safety Cases [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 63 - 66
- [46] Validating semi-formal specifications of interactors as design representations [J]. DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 102 - 116
- [47] Semi-formal verification of VHDL-AMS descriptions [J]. 2002 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL V, PROCEEDINGS, 2002, : 333 - 336
- [48] Semi-formal test generation for a block of industrial DSP [J]. 19TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 2001, : 131 - 136
- [49] Requirements interaction detection using semi-formal methods [J]. ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 224 - 232
- [50] Semi-formal verification of memory systems by symbolic simulation [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 158 - 163