Sciweavers

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