Lima Bruno について
University of Porto, Portugal / INESC TEC, Portugal について
ACM Proceedings について
アルゴリズム について
相互作用 について
自動化 について
可観測性 について
可制御性 について
エンドツーエンド方式 について
インテグリティ について
インタオペラビリティ について
分散システム について
タイミング制約 について
計算機システム開発 について
分散システム について
シナリオ について
統合 について
試験 について