Sciweavers

21984 search results - page 470 / 4397
» C
Sort
View
PADS
2006
ACM
16 years 1 months ago
Using Abstraction in the Verification of Simulation Coercion
Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan
CBMS
2005
IEEE
16 years 20 days ago
GIMI: Generic Infrastructure for Medical Informatics
Andrew C. Simpson, David J. Power, Mark Slaymaker,...