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

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 10件中 1~10件目  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
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]
 10件中 1~10件目  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : 以上の論文すべての著作権はIEICEに帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan