About this scholarly article

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Using Modechart modules for testing formal specifications by Brockmeyer, M. is a scholarly article available to read on EtoBox.

Author

Brockmeyer, M.

Publisher

IEEE Comput. Soc

Published

1999

Language

EN