メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
早稲田大学 ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Derivation of system specifications based on a partial logical Petri net
Atsushi Togashi
*
, Nobuyuki Usui, Kukhwan Song, Norio Shiratori
*
この研究の対応する著者
研究成果
:
Article
›
査読
概要
フィンガープリント
フィンガープリント
「Derivation of system specifications based on a partial logical Petri net」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Physics & Astronomy
derivation
51%
Petri nets
100%
specifications
58%
user requirements
52%
Engineering & Materials Science
Formal specification
72%
Petri nets
60%
Specifications
39%
Chemical Compounds
Chemical Transformation
39%
Transition State
50%