共 50 条
- [1] Fuzzy concepts and formal methods: A sample specification for a fuzzy expert system [J]. PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOL 1 & 2, 2002, : 1150 - 1155
- [3] Formal specification of system functions [J]. 2009 ICSE WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE), 2009, : 26 - 31
- [4] KNOWLEDGE SPECIFICATION OF AN EXPERT SYSTEM [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1990, 5 (04): : 29 - 38
- [6] Towards a formal framework for the specification of hybrid fuzzy modeling [J]. PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1 AND 2, 2003, : 1014 - 1019
- [7] Formal Specification of a Cardiac Pacing System [J]. FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 692 - 707
- [8] JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION [J]. SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 26 - 35