6 search results - page 2 / 2 » Effects of Introducing Survival Behaviours into Automated Ne... |
IJIT
2004
13 years 6 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...