Specification and analysis of NCL circuits

被引：0
作者：
Ma, J. [1 ]
Kapoor, H.K. [3 ]
Krilavicius, T. [2 ]
Man, K.L. [4 ]
Zhang, N. [4 ]
Lim, E.G. [4 ]
Jeong, T.T. [5 ]
Guan, S.U. [4 ]
Seon, J.K. [6 ]
机构：
[1] Department of Computer Science, University of Liverpool, United Kingdom
[2] Baltic Institute of Advanced Technology, Vilnius, Lithuania and Informatics faculty, Vytautas Magnus University, Kaunas, Lithuania
[3] Department of Computer Science and Engineering, Indian Institute of Technology Guwahati, Assam, India
[4] Xi'an Jiaotong-Liverpool University, Suzhou, China
[5] Myongji University, Korea, Republic of
[6] LS Industrial Systems, Korea, Republic of
来源：
Engineering Letters | 2012年 / 19卷 / 03期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer circuits
引用
收藏
页码：215 / 222
相关论文
共 50 条
[41]   Planguage - Specification of non-functional requirements [J].
Emmanuel T. .
Informatik-Spektrum, 2010, 33 (03) :292-295
[42]   FUNCTIONAL SPECIFICATION OF A DECISION SUPPORT SYSTEM. [J].
Studer, Rudi .
Journal of the New England Water Pollution Control Association, 1979, :85-93
[43]   EXERCISE IN JSD: DERIVATION OF EXECUTABLE SPECIFICATION. [J].
Javey, S. .
Proceedings of the Hawaii International Conference on System Science, 1986, 2 :89-97
[44]   SWITCHING POWER SUPPLIES: SPECIFICATION CRITERIA. [J].
Burens, James H. .
1600, (16)
[45]   Towards a full formal specification of the javacard API [J].
Computing Science Institute, University of Nijmegen, Toernooiveld 1, ED, Nijmegen, Netherlands .
Lect. Notes Comput. Sci., (165-178)
[46]   The Usage of Constraint Specification Languages: A Controlled Experiment [J].
Maraee, Azzam ;
Sturm, Arnon .
Lecture Notes in Business Information Processing, 2019, 352 :329-343
[47]   ON DERIVING A LISP PROGRAM FROM ITS SPECIFICATION [J].
ARETZ, FEJK .
SCIENCE OF COMPUTER PROGRAMMING, 1988, 10 (01) :19-32
[48]   ARCHIVAL MEMORY SYSTEM (AMS) SPECIFICATION. [J].
Michael, George A. .
Journal of Adhesion, 1980, :62-66
[49]   CORROSION CABINETS: REFLECTING SPECIFICATION CHANGES. [J].
Anon .
Anti-Corrosion Methods and Materials, 1979, (26 n 12) :10-11
[50]   APL AS A SOFTWARE-DESIGN SPECIFICATION LANGUAGE [J].
JONES, WT ;
KIRK, SA .
COMPUTER JOURNAL, 1980, 23 (03) :230-232
12345