USING ATTRIBUTED GRAMMARS TO TEST DESIGNS AND IMPLEMENTATIONS.

被引：0
作者：
Duncan, A.G.
Hutchinson, J.S.
机构：
来源：
Proceedings - International Conference on Software Engineering | 1981年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Automata theory
引用
收藏
页码：170 / 178
相关论文
共 50 条
  • [21] Predict Damage Percentage in Test Specimens Using Improved Artificial Neural Network
    Oulad Brahim, Abdelmoumin
    Capozucca, Roberto
    Magagnini, Erica
    Khatir, Bochra
    Khatir, Abdelwahhab
    Lecture Notes in Civil Engineering, 2024, 486 LNCE : 105 - 116
  • [22] Calculation of the Cone Indentation Test Using a Finite-Element Method.
    Andresen, Klaus
    Archiv fuer das Eisenhuettenwesen, 1975, 46 (09): : 571 - 574
  • [23] USING LOG DATA TO PREDICT LEAK-OFF TEST PRESSURES.
    Daget, Patrick
    Parigot, Philippe
    World Oil, 1979, 188 (02) : 48 - 50
  • [24] Test and control system for chlorophyll fluorescence parameters using LED as excitation source
    Qiuying, Zou
    Jianwei, J.I.
    Zhengming, Li
    Sensors and Transducers, 2014, 171 (05) : 128 - 133
  • [25] Reply to "Comment on 'Test of the Stark-effect theory using photoionization microscopy' "
    Zhao, L. B.
    Fabrikant, I. I.
    Du, M. L.
    PHYSICAL REVIEW A, 2015, 91 (06)
  • [26] 4K Video Transmission Test Using iNET RF Network
    Honda, Takeshi
    Aoyama, Daiki
    Abe, Katsuhiko
    Ito, Sei
    Proceedings of the International Telemetering Conference, 2022, 57 : 348 - 355
  • [27] Mathematical Modeling of Seepage-Temperature Field for Earth Dam Using Experimental Test
    Wang Y.
    Gu Y.
    Wang S.
    Duan X.
    Mathematical Problems in Engineering, 2023, 2023
  • [28] Preliminary flight test program on telecom and broadcasting using high altitude platform stations
    Miura, Ryu
    Suzuki, Mikio
    Wireless Pers Commun, 1600, 2 (341-361):
  • [29] IPv6 traffic hijack test system and defense tools using DNSSEC
    Tao, Lin
    Wu, Liu
    Duan, Haixin
    Sun, Donghong
    2011 International Conference on Internet Technology and Applications, iTAP 2011 - Proceedings, 2011,
  • [30] IMPACT BENDING TEST ON STEEL AT LOW-TEMPERATURES USING A SPLIT HOPKINSON BAR
    TANAKA, K
    KAGATSUME, T
    BULLETIN OF THE JSME-JAPAN SOCIETY OF MECHANICAL ENGINEERS, 1980, 23 (185): : 1736 - 1744
12345