共 50 条
- [42] The MODUS Approach to Formal Verification [J]. BUSINESS SYSTEMS RESEARCH JOURNAL, 2014, 5 (01): : 21 - 33
- [43] A lightweight approach to formal methods [J]. APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 168 - 183
- [45] A formal approach to lingware development [J]. MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 859 - 868
- [48] WINOGRAD, AND FORMAL APPROACH OF LANGUAGE [J]. COMMUNICATION AND COGNITION, 1975, 8 (2-4): : 279 - 283
- [49] A formal approach to scenario integration [J]. ANNALS OF SOFTWARE ENGINEERING, 1997, 3 : 255 - 271
- [50] A formal approach to hypervideo design [J]. 2007 14TH INTERNATIONAL WORKSHOP ON SYSTEMS, SIGNALS, & IMAGE PROCESSING & EURASIP CONFERENCE FOCUSED ON SPEECH & IMAGE PROCESSING, MULTIMEDIA COMMUNICATIONS & SERVICES, 2007, : 391 - 394