Special Section on Formal Approaches FOREWORD

被引：0

|

作者：

Aoki, Toshiaki ^{[1
]}

Aoki, Yoshitaka ^{[2
]}

Kobayashi, Koichi ^{[3
]}

Kuruma, Hironobu ^{[4
]}

Tateishi, Takaaki ^{[5
]}

Tsuchiya, Tatsuhiro ^{[6
]}

Yamaguchi, Shingo ^{[7
]}

Ishikawa, Fuyuki ^{[8
]}

Nakagawa, Hiroyuki ^{[6
]}

Yokogawa, Tomoyuki ^{[9
]}

机构：

[1] JAIST, Tokyo, Japan

[2] Nihon Unisys, Tokyo, Japan

[3] Hokkaido Univ, Sapporo, Hokkaido, Japan

[4] Hitachi Ltd, Hitachi, Ibaraki, Japan

[5] IBM Japan Ltd, Tokyo, Japan

[6] Osaka Univ, Suita, Osaka, Japan

[7] Yamaguchi Univ, Yamaguchi, Japan

[8] Natl Inst Informat, Tokyo, Japan

[9] Okayama Prefectural Univ, Okayama, Japan

来源：

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2020年 / E103D卷 / 08期

关键词：

D O I：

10.1587/transinf.2019FOF0001

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：1782 / 1782

页数：1

相关论文

共 50 条

[1] Special Section on Formal Approaches FOREWORD
Ishikawa, Fuyuki
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2021, E104D (10): : 1514 - 1514
[2] Special Section on Formal Approaches FOREWORD
Aoki, Toshiaki
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2019, E102D (08): : 1438 - 1438
[3] Special Section on Formal Approach FOREWORD
Seki, Hiroyuki
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (05) : 941 - 941
[4] Special Section on Formal Approach FOREWORD
Kawabe, Yoshinobu
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2016, E99D (06): : 1409 - 1409
[5] Special Section on Formal Approach FOREWORD
Yuen, Shoji
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (05) : 1341 - 1341
[6] Special Section on Formal Approach FOREWORD
Nakamura, Masaki
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (06): : 1157 - 1157
[7] Special Section on Formal Approach FOREWORD
Ishihara, Yasunori
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2011, E94D (05) : 945 - 945
[8] Special Section on Formal Approach FOREWORD
Okano, Kozo
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (06): : 1120 - 1120
[9] Special Section on Formal Approach FOREWORD
Ogata, Kazuhiro
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (06) : 1257 - 1257
[10] Special Section on Formal Approach FOREWORD
Kameyama, Yukiyoshi
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009, E92D (05) : 971 - 971

← 1 2 3 4 5 →