HIERARCHICAL TIMING VERIFICATION SYSTEM.

被引：0

作者：

Reddi, R. ^{[1
]}

Chen, C. ^{[1
]}

机构：

[1] Sperry Corp, Blue Bell, PA, USA, Sperry Corp, Blue Bell, PA, USA

来源：

| 1600年 / 18期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

INTEGRATED CIRCUITS, VLSI

引用

共 50 条

[21] Neural and genetic control of endocrine timing by the circadian system. [J].

Kriegsfeld, LJ ;

Mei, DF ;

Bentley, GE ;

Ukena, K ;

Tsutsui, K ;

Silver, R .

BIOLOGY OF REPRODUCTION, 2005, :78-78

[22] Gradient Calibration for the RCBHT Cantilever Snap Verification System. [J].

Rojas, J. ;

Harada, K. ;

Onda, H. ;

Yamanobe, N. ;

Yoshida, E. ;

Nagata, K. ;

Kawai, Y. .

2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (ROBIO 2012), 2012,

[23] SCHEME FOR BATCH VERIFICATION OF INTEGRITY ASSERTIONS IN A DATABASE SYSTEM. [J].

Lilien, Leszek ;

Bhargaua, Bharat .

1600, (SE-10)

[24] Hierarchical Analysis and Verification for Critical System Design [J].

Butler, Michael .

2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, :XV-XV

[25] Gasoline blend optimisation as a local unit in hierarchical system. [J].

Jaskóla, P ;

Malinowski, K .

LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, :313-318

[26] TOPOLOGICAL SYNTHESIS OF A COMPUTER NETWORK FOR A HIERARCHICAL CONTROL SYSTEM. [J].

Yanbykh, G.F. .

1984, (18)

[27] Verification of the XRISM Timing System in the GPS Unsynchronized Mode [J].

Shidatsu, Megumi ;

Terada, Yukikatsu ;

Kominato, Takashi ;

Kato, So ;

Sato, Ryohei ;

Sakama, Minami ;

Shioiri, Takumi ;

Motoyama, Yugo ;

Niida, Yuuki ;

Takagi, Toshihiro ;

Natsukari, Chikara ;

Tashiro, Makoto S. ;

Todo, Kenichi ;

Maejima, Hironori ;

Watanabe, Shin ;

Iizuka, Ryo ;

Sato, Rie ;

Baluta, Chris ;

Hayashi, Katsuhiro ;

Yoshida, Tessei ;

Ogawa, Shoji ;

Kanemaru, Yoshiaki ;

Fukushima, Kotaro ;

Hoshino, Akio ;

Takahashi, Hiromitsu ;

Nobukawa, Masayoshi ;

Mizuno, Tsunefumi ;

Nakazawa, Kazuhiro ;

Uno, Shin'ichiro ;

Ebisawa, Ken ;

Eguchi, Satoshi ;

Katsuda, Satoru ;

Kubota, Aya ;

Ota, Naomi ;

Tanimoto, Atsushi ;

Terashima, Yuichi ;

Tsuboi, Yohko ;

Uchida, Yuusuke ;

Uchiyama, Hideki ;

Yamada, Shigeo ;

Yoneyama, Tomokage ;

Yamada, Satoshi ;

Uchiyama, Nagomi ;

Holland, Matt ;

Loewenstein, Michael ;

Miller, Eric D. ;

Yagoub, Tahir ;

Hille, Robert S. ;

Doyle, Trisha F. ;

Perez-Solis, Efrain .

SPACE TELESCOPES AND INSTRUMENTATION 2024: ULTRAVIOLET TO GAMMA RAY, PT 1, 2024, 13093

[28] A software architecture for simplifying verification of system timing properties [J].

Xu, Jia .

SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Vol 3, Proceedings, 2007, :858-863

[29] Developing a self-applicable verification system. Theory and practice [J].

Kondratyev D.A. ;

Promsky A.V. .

Autom. Control Comput. Sci., 7 (445-452) :445-452

[30] Enhanced fluid delivery verification on the VITROS ECi immunodiagnostic system. [J].

Van Brunt, N ;

Contestable, P ;

Jacobs, M ;

Potter, R ;

Raymond, M ;

Simon, M .

CLINICAL CHEMISTRY, 2001, 47 (06) :A85-A86

← 1 2 3 4 5 →