| 1. | Dsssl document style semantics and specification language amendment 2
文献语义和规范语言 |
| 2. | Grafcet specification language for sequential function charts
顺序功能表图用grafcet规范语言 |
| 3. | Grafcet specification language for sequential function charts
顺序功能图的grafcet规范语言 |
| 4. | Dsssl document style semantics and specification language amendment 1
文件文体语义学和规范语言 |
| 5. | Electronic system specification languages . vhdl modelling guidelines
电子系统规范语言. vhdl建模指南 |
| 6. | Property specification language
性能规范语言psl |
| 7. | Dsssl information technology . processing languages . document style semantics and specification language
信息技术.处理语言.文献类型句法和规范语言 |
| 8. | Dsssl information technology - processing languages - document style semantics and specification language
信息技术.处理语言.文件文体语义学和规范语言 |
| 9. | Electronic system specification languages . standard method for building vhdl models of component libraries
电子系统规范语言.建立元件库vhdl模型的标准方法 |
| 10. | It is presented that a formalization for uml statechart diagrams in the raise specification language rsl
使用raise规范语言rsl给出了uml状态机视图的形式描述。 |
