Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification.

Uwe Petermann

Browse the full FlAIRS paper archive.