Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.

Jan Peleska

Browse the full FM paper archive.