Powered by Engineering Brain, Japan | PKVとは | PKV Methodology | KnowledgeRank v4.0.0: PKV Trends of My Authored Papers Are Now Available on My Page

IEICE Transactions in Information and Systems - 巻 100 / 号 6

タイトル
著者 巻 号 ページ 年 PKV
Symbolic Design of Networked Control Systems with State Prediction
Masashi MIZOGUCHI, Toshimitsu USHIO 100 6 1158–1165 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem
Sasinee PRUEKPRASERT, Toshimitsu USHIO 100 6 1166–1171 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages
Reona MINODA, Shin-ichi MINATO 100 6 1172–1181 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests
Hiroshi IWATA, Nanami KATAYAMA, Ken'ichi YAMAGUCHI 100 6 1182–1189 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Validating DCCP Simultaneous-Open and Feature Negotiation Procedures
Somsak VANIT-ANUNCHAI 100 6 1190–1199 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
Toshiyuki MIYAMOTO 100 6 1200–1209 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
A Formal Modeling Tool for Exploratory Modeling in Software Development
Tomohiro ODA, Keijiro ARAKI, Peter GORM LARSEN 100 6 1210–1217 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Coverage-Based Clustering and Scheduling Approach for Test Case Prioritization
Wenhao FU, Huiqun YU, Guisheng FAN, Xiang JI 100 6 1218–1230 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Semi-Supervised Clustering Based on Exemplars Constraints
Sailan WANG, Zhenzhi YANG, Jin YANG, Hongjun WANG 100 6 1231–1241 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
A Novel Embedding Model for Relation Prediction in Recommendation Systems
Yu ZHAO, Sheng GAO, Patrick GALLINARI, Jun GUO 100 6 1242–1250 2017 0.0
平均評価: 0.0 / 5 (0 件のレビュー)