SPECIFICATION AND TESTING OF VALVES.

被引：0
|
作者：
Debono, R.J.
Christian, J.R.
Smelt, A.
机构：
来源：
| 1978年 / 183卷 / 4712期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
GAS PIPELINES
引用
收藏
页码：150 / 151
相关论文
共 50 条
  • [31] Java bytecode specification and verification
    Burdy, Lilian
    Pavlova, Mariela
    Proc ACM Symp Appl Computing, 1600, (1835-1839):
  • [32] ON THE SPECIFICATION OF SOFTWARE SUBSYSTEMS.
    Keedy, J.L.
    Australian Computer Journal, 1979, 11 (04): : 127 - 132
  • [33] Specification and analysis of NCL circuits
    Ma, J.
    Kapoor, H.K.
    Krilavicius, T.
    Man, K.L.
    Zhang, N.
    Lim, E.G.
    Jeong, T.T.
    Guan, S.U.
    Seon, J.K.
    Engineering Letters, 2012, 19 (03) : 215 - 222
  • [34] Total opening valves for a ventricular prosthesis
    Lenne, W.
    Lesigne, C.
    Birkui, P.
    1600, (13):
  • [35] Bakery uses Bürkert valves
    Operations Engineer, 2023, 2023 (01):
  • [36] Valves and Fittings in Power Plants.
    Popescu, C.
    1600, (29):
  • [37] Pumps and Valves: Integrate for Eff iciency
    Carter, Russell A.
    Coal Age, 2021, 126 (05): : 32 - 33
  • [38] MODULE INTERFACE SPECIFICATION LANGUAGE.
    Thompson, E.W.
    Bridge, R.F.
    1600, IEEE, New York, NY
  • [39] A formal specification of Java™ class loading
    Kestrel Institute, 3260 Hillview Avenue, Palo Alto, CA 94304, United States
    Proc Cinf Object Orient Program Syst Lang Appl OOPSLA, 1600, 10 (325-336): : 325 - 336
  • [40] Generating test cases for specification mining
    Saarland University - Computer Science, Saarbrücken, Germany
    ISSTA - Proc. Int. Symp. Softw. Test. Anal., (85-95):
12345