发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Logic Verification System for Power Plant Sequence Diagrams

FUKUDA, Mitsuko; YAMADA, Naoyuki; TESHIMA, Toshiaki; KAN, Ken'ichi; UTSUNOMIYA, Mitsugu

期刊名称Journal of Nuclear Science and Technology
作者FUKUDA, Mitsuko; YAMADA, Naoyuki; TESHIMA, Toshiaki; KAN, Ken'ichi; UTSUNOMIYA, Mitsugu
卷第31卷
期第2期
印刷ISSN0022-3131
电子ISSN1881-1248
文件大小788.10KB
发表时间1994-02
DOI10.1080/18811248.1994.9735125
页码102-112