Abstract:
Despite the special difficulties of automobile software, with its stringent but evolving requirements, there are many powerful techniques for software verification and va...Show MoreMetadata
Abstract:
Despite the special difficulties of automobile software, with its stringent but evolving requirements, there are many powerful techniques for software verification and validation. However, there are practical limits to the reliability which can be demonstrated, and it is essential to follow a well-defined and rigorous specification and development process.<>
Date of Conference: 28-31 October 1991
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-85296-525-7
Conference Location: London, UK
