国枝 正典 | 東京農工大学 工学府 機械システム工学専攻 国枝研究室

スポンサーリンク

概要

• 国枝 正典の詳細を見る
• 同名の論文著者
• 東京農工大学 工学府 機械システム工学専攻 国枝研究室の論文著者

論文 | ランダム

• 離散事象システムにおける可達集合の高速検証方式
• 要求仕様の検証における状態検索の効率化方式
• 通信システムサービス仕様における正当性検出と解消方式
• 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
• 通信サービス要求記述の静的解析手法

もっと見る

スポンサーリンク