Sciweavers

9018 search results - page 41 / 1804
» 3D-Brain Model Software
Sort
View
FOSSACS
2010
Springer
13 years 8 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
13 years 8 months ago
Automated model grouping
Michael Becker, Volker Gruhn
SIGSOFT
2010
ACM
13 years 7 months ago
Climate change: a grand software challenge
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
Steve M. Easterbrook