CORDEIRO Lucas について
Federal Univ. Amazonas, Amazonas, BRA について
FISCHER Bernd について
Univ. Southampton, Southampton, GBR について
MARQUES-SILVA Joao について
Univ. Coll. Dublin, Dublin, IRL について
IEEE Transactions on Software Engineering について
モデル検査 について
ANSI規格 について
C言語 について
埋込み【挿入】 について
ソフトウェア工学 について
形式的手法【計算機】 について
プログラム解析 について
ベンチマーク について
限界 について
評価試験 について
符号化 について
スケーラビリティ【計算機】 について
精度 について
有界 について
計算機システム開発 について
埋込み について
ANSI について
ソフトウェア について
SMT について
有界 について
モデル検査 について