Sciweavers

9018 search results - page 62 / 1804
» 3D-Brain Model Software
Sort
View
ASWEC
2007
IEEE
15 years 4 months ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
ICSEA
2006
IEEE
15 years 4 months ago
Performance Model Interchange Format: Semantic Validation
Daniel Garcia, Catalina M. Lladó, Connie U....
65
Voted
APSEC
2005
IEEE
15 years 3 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
70
Voted
ASWEC
2005
IEEE
15 years 3 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He