About this scholarly article

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96 - Industrial usage of formal development methods-the VSE-tool applied in pilot projects by Koob, F.; Ullmann, M.; Wittmann, S. is a scholarly article available to read on EtoBox.

Author

Koob, F.; Ullmann, M.; Wittmann, S.

Publisher

IEEE

Published

1996

Language

EN