Kikuno Tohru | Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University
スポンサーリンク
概要
- 同名の論文著者
- Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka Universityの論文著者
Department Of Information And Computer Sciences Faculty Of Engineering Science Osaka University | 論文
- Synthesis Algorithm of Protocol Specification with Message Collision for Two Processes
- Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation
- Distal Vasoconstriction Following Coronary Angioplasty : Comparison of Emergent and Elective PTCA
- Ferroelectricity in RbLiSO_4
- Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking