IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 11 of 11  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
R 2022-12-15
15:45		 Online Online The trends of IEC/TC 56 Dependability
Ko Kawashima (ORIENTAL MOTOR), Yoshinobu Sato (Institute for Healthcare Quality Improvement), Yoshiki Kinoshita (Kanagawa Univ.), Hiroyuki Goto (D.SS), Akihiko Masuda (Reliability Seven Tools (R7) Practice Studio), Shigeru Yanagi (National Defense Academy), Makoto Takeyama (Kanagawa Univ.), Tadahiro Shibutani (Yokohama National Univ.) R2022-47		 IEC/TC 56 is in charge of developing and revising international dependability standards related horizontally to both of ... [more] R2022-47
pp.19-24
EMD, R 2020-02-14
13:35		 Shizuoka   Trend on standardization of Dependability -- Outline of IEC TC 56 2016 Sydney international meeting and drafts from Japan --
Hiroyuki Goto (FDK), Yoshinobu Sato (The IHQI, Tokyo Healthcare Foundation), Fumiaki Harada (D-Tech Partners), Yoshiki Kinoshita (Kanagawa University) R2019-54 EMD2019-54		 IEC/TC 56 (International Electrotechnical Commission/Technical Committee 56) plenary meeting was held in Shanghai, China... [more] R2019-54 EMD2019-54
pp.1-6
R 2017-12-15
15:30		 Tokyo Kikai-Shinko-Kaikan Bldg. An overview of IEC 62856 Open systems dependability -- Consensus Building, Accountability Achievement, Failure Response and Change Accommodation --
Yoshiki Kinoshita, Makoto Takeyama (KU) R2017-59		 IEC 62853 Open systems dependability, which is being developed by IEC TC56 at the stage of AFDIS (Approved for Final Dra... [more] R2017-59
pp.19-23
R 2016-12-16
14:15		 Kanagawa Maholoba Minds Miura (Miura City, Kanagawa Prefecture) Trend on standardization of dependability -- Outline of IEC TC56 2016 Sydney international meeting and drafts from Japan --
Hiroyuki Goto (FDK), Yoshinobu Sato (JACO), Yoshiki Kinoshita (KU) R2016-54		 IEC/TC 56 (International Electrotechnical Commission/Technical Committee 56) plenary meeting was held in Sydney, Austral... [more] R2016-54
pp.1-6
R 2015-12-18
14:55		 Tokyo   Trend on International Standardization of dependability -- Outline of IEC TC56 and agenda on international meeting(especially WG2) --
Fumiaki Harada (FXAT), Yoshiki Kinoshita, Makoto Takeyama (KU) R2015-64		  [more] R2015-64
pp.19-25
R 2014-12-19
15:25		 Tokyo   Trend on standardization of dependability -- Outline of IEC TC56 and agenda on international meeting --
Hiroyuki Goto (FDK), Yoshinobu Sato (JACO), Yoshiki Kinoshita, Makoto Takeyama (KU) R2014-70		 IEC/TC56 (International Electrotechnical Commission/Technical Committee 56) plenary meeting was held in Prague, Czech Re... [more] R2014-70
pp.29-34
R 2012-12-14
11:15		 Tokyo   Trend on standardization of dependability -- Outline of IEC TC56 and agenda on international meeting --
Fumiaki Harada (FXAT), Hiroyuki Gotoh (FUJITSU), Hiroki Takamura (JST), Yoshiki Kinoshita, Makoto Takeyama (AIST) R2012-71		  [more] R2012-71
pp.19-26
R 2011-12-16
13:00		 Tokyo   Trend on standardization of dependability -- Outline of IEC TC56 and agenda on international meeting --
Fumiaki Harada (FXAT), Hiroyuki Gotoh (FUJITSU), Hiroki Takamura (JST), Yoshiki Kinoshita, Makoto Takeyama (AIST) R2011-37		  [more] R2011-37
pp.1-7
MSS 2011-01-21
10:20		 Yamaguchi Kaikyo-Messe-Shimonoseki Coalgebraic analysis of supervisory control of partially observed Mealy automata
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST) CST2010-71		 We formulate a supervisory control problem of partially observed Mealy automata using coalgebras and coinductive definit... [more] CST2010-71
pp.65-70
MSS 2010-08-02
15:30		 Ishikawa   Coalgebraic Analysis of Supervisory Control of Mealy Automata
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST) CST2010-35		 In this report, Mealy automata are represented by coalgebras
in the category of sets. First, we generalize a supervis... [more]		 CST2010-35
pp.19-24
AI 2005-10-21
16:10		 Kyoto   [Invited Talk] Overview of Research Activities of AIST Research Center for Verification and Semantics
Yoshiki Kinoshita (CVS) 		 [more]
 Results 1 - 11 of 11  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan