Test Automation for Safety-Critical Systems: Industrial Application and Future Developments (1996)

by J Paleska
Venue:In Proceedings of the Formal Methods Europe Conference FME 96, LNCS