Sciweavers

9018 search results - page 41 / 1804
» 3D-Brain Model Software
Sort
View
FOSSACS
2010
Springer
14 years 8 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
14 years 8 months ago
Automated model grouping
Michael Becker, Volker Gruhn
SIGSOFT
2010
ACM
14 years 8 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