「即興詩人」を歩く(29)トルレ、ヂ、トレ、ポンテ

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 並行計算πFを用いたモバイルシステム管理
• 動的再構成システム仕様の挙動検証
• 地理的制約を考慮した並行計算
• 位相的観点に基づく段階的仕様記述
• 位相的観点からの仕様記述

もっと見る

スポンサーリンク