HONIDEN SHINICHI | Systems & Software Engineering Division, Toshiba Corporation

スポンサーリンク

概要

• 同名の論文著者
• Systems & Software Engineering Division, Toshiba Corporationの論文著者

関連著者

• HONIDEN SHINICHI

  Systems & Software Engineering Division, Toshiba Corporation

• Uchihira Naoshi

  System Engineering Laboratory Of Corporate Research And Development Center Toshiba Corporation

• Sueda Naomichi

  Systems &amp Software Engineering Division Toshiba Corporation

• Fujiwara Yasushi

  Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporation

• Hoshi Akira

  Systems &amp Software Engineering Division Toshiba Corporation

• Uchihira N

  Toshiba Corp. Kawasaki‐shi Jpn

• Fujiwara Yasushi

  Systems & Software Engineering Laboratory Toshiba Corporation

• UCHIHIRA NAOSHI

  Systems & Software Engineering Division, Toshiba Corporation

• MIKAME KAZUO

  Systems & Software Engineering Division, Toshiba Corporation

• Mikame Kazuo

  Systems &amp Software Engineering Division Toshiba Corporation

• Honiden S

  National Institute Of Informatics:the University Of Tokyo

• Honiden Shinichi

  Systems & Software Engineering Laboratory Toshiba Corporation

• Honiden Shinichi

  Systems And Software Engineering Lab. Research And Development Center Toshiba Corporation

• Honiden Shinichi

  Systems &amp Software Engineering Division Toshiba Corporation

• Uchihira Naoshi

  Systems & Software Engineering Laboratory Toshiba Corporation

• Tahara Yasuyuki

  Systems and Software Engineering Lab., Research and Development Center, TOSHIBA CORPORATION

• SUGIYAI ISAO

  Heavy Apparatus Engineering Laboratory, Toshiba Corporation

• Tahara Yasuyuki

  Systems And Software Engineering Lab. Research And Development Center Toshiba Corporation

• Sugiyai Isao

  Heavy Apparatus Engineering Laboratory Toshiba Corporation

もっと見る 閉じる

著作論文

• Software Prototyping with Reusable Components
• A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
• A Nonmonotonic Temporal Logic and Its Kripke Semantics
• An Analysis of Simulation between Petri Nets through Rewriting Logic
• Performance Evaluation by Qpit*i

スポンサーリンク