共 50 条
- [41] Intelligent graphical interface for tunnel support specification Proceedings of the World Congress on Expert Systems, 1991,
- [44] IBDL: A language for interface behavior specification and testing PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 235 - 248
- [45] Towards hybrid interface specification for virtual environments DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 30 - 51
- [48] Pressure gauge specification considerations in practical well testing SPE Reprint Series, 2004, (57 PART 1): : 31 - 44
- [50] A practical combination of a process algebra with an algebraic specification language PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 73 - 79