ダウンロード
  1. No category

E-AoSAS++ におけるアスペクト記述と織り込みに関する研究

（平成24年10月26日）情報労連結成50周年記念レセプション

（平成24年10月26日）情報労連結成50周年記念レセプション

同時性を含意した 並行システムの振舞い記述と検証

同時性を含意した 並行システムの振舞い記述と検証