11 search results - page 3 / 3 » Formal Modeling of Space Shuttle Software Change Requests us... |
112
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
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 ...