About this scholarly article

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Combining testing and model checking for verification of high assurance systems by Desovski, D. is a scholarly article available to read on EtoBox.

Author

Desovski, D.

Publisher

IEEE

Published

2004