Bernardeschi Cinzia について
Department of Information Engineering, University of Pisa, PI, Italy について
Domenici Andrea について
Department of Information Engineering, University of Pisa, PI, Italy について
Masci Paolo について
HASLab/INESC TEC and Universidade do Minho, Braga, Portugal について
IEEE Transactions on Software Engineering について
事例研究 について
ソフトウェアコンポーネント について
離散系 について
シミュレーション について
心臓 について
定理証明 について
モデリング について
信頼性 について
ソフトウェアプロセス について
ヒト について
ソフトウェア設計 について
安全性 について
プロトタイプ について
支援ツール について
Simulink について
計算機システム開発 について
物理 について
モデルベース解析 について
Simulink について
統合 について
環境 について