時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述

時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述

Bibliographic Details
Main Authors: 桑原, 寛明, Hiroaki, Kuwabara, 結縁, 祥治, Yuen, shoji, 阿草, 清滋, Agusa, Kiyoshi
Language:ja
Published: 情報処理学会 2004
Online Access:http://hdl.handle.net/2237/10590

Internet

http://hdl.handle.net/2237/10590

Similar Items