×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
磯部 祥尚
イソベ ヨシナオ (Yoshinao Isobe)
更新日: 2020/09/02
ホーム
MISC
基本情報
所属
独立行政法人産業技術総合研究所
情報技術研究部門 ミドルウェア基礎研究グループ
J-GLOBAL ID
200901078986753475
researchmap会員ID
5000087363
外部リンク
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=Y01350568
MISC
1
A Non-interleaving Timed Process Algebra and a Process Logic for Verifying Composition of Agents
Yoshinao Isobe, Kazuhito Ohmaki
Computer Software 20(5) 470-491 2003年
メニュー
マイポータル