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 条
  • [1] ADAPTIVE QUANTIZATION SYSTEM DESIGNED FOR NOISY CHANNELS AND DIGITAL IMPLEMENTATIONS.
    Mitra, Debasis
    Gotz, Ben
    1600, IEEE, New York, NY
  • [2] USING GRAPH GRAMMARS TO DEFINE SETS OF DIGRAPHS.
    Furtado, A.L.
    Mylopoulos, J.
    INFOR Journal, 1979, 17 (03): : 242 - 261
  • [3] Design tradeoffs using truncated multipliers in FIR filter implementations
    Walters III, E. George
    Schulte, Michael J.
    Proceedings of SPIE - The International Society for Optical Engineering, 2002, 4791 : 357 - 368
  • [4] Using graph grammars for modeling wiring harnesses-an experience report
    University of Kassel, Germany
    不详
    不详
    不详
    Lect. Notes Comput. Sci., (512-532):
  • [5] Using graph grammars to develop embedded systems based on UML models
    Centro de Desenvolvimento Tecnológico, Universidade Federal de Pelotas, UFPEL, Pelotas, Brazil
    不详
    Proc. - Workshop-Sch. Theor. Comput. Sci., WEIT, (81-87):
  • [6] Test Bar Designs - Permanent Mold Copper Alloy Castings.
    Finn, R.A.
    Keough, J.
    Biel, J.
    Thomas, R.
    Giessereipraxis, 1980, (04): : 44 - 51
  • [7] Classifying textile designs using region graphs
    School of Computing, University of Dundee, United Kingdom
    Br. Mach. Vis. Conf., BMVC - Proc.,
  • [8] Test of multiple scan chain grafting using test vector merging
    Liu, Jie
    Liang, Hua-Guo
    Yi, Mao-Xiang
    Yingyong Kexue Xuebao/Journal of Applied Sciences, 2011, 29 (01): : 78 - 82
  • [9] LOADING COMPENSATION FOR DUAL-LOOP FEEDBACK DESIGNS USING INVERTED AMPLIFIERS.
    Aprille, Thomas J.
    1979, CAS-26 (01): : 68 - 70
  • [10] TEST GENERATION USING EQUIVALENT NORMAL FORMS.
    Hayes, John P.
    Journal of Design Automation & Fault-Tolerant Computing, 1600, 3 (3-4): : 131 - 154
12345