Fujiwara Yasushi | Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporation
スポンサーリンク
概要
- Fujiwara Yasushiの詳細を見る
- 同名の論文著者
- Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporationの論文著者
関連著者
-
Fujiwara Yasushi
Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporation
-
Fujiwara Yasushi
Systems Engineering Laboratory R&d Center Toshiba Corporation
-
Fujiwara Yasushi
Systems & Software Engineering Laboratory Toshiba Corporation
-
HONIDEN SHINICHI
Systems & Software Engineering Division, Toshiba Corporation
-
Honiden Shinichi
Systems & Software Engineering Laboratory Toshiba Corporation
著作論文
- A Nonmonotonic Temporal Logic and Its Kripke Semantics
- Bisimulation as Performance Equivalence Criterion : (max, +) Case (Special Issue on New System Software)
- Dinaturality of Simple Subtyping