Sciweavers

11 search results - page 3 / 3
» Formal Modeling of Space Shuttle Software Change Requests us...
Sort
View
ATAL
2003
Springer
13 years 10 months ago
Resource-aware exploration of the emergent dynamics of simulated systems
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
Sven Brueckner, H. Van Dyke Parunak