The Verification Support Environment VSE
Baur, Plasa, T., Kejwal, P., Drexler, R., Stephan, W., Reif, W., Wolpers, A., Hutter, D., Sengler, C., Canver, E.
Published in IFAC Proceedings Volumes (01.10.1992)
Published in IFAC Proceedings Volumes (01.10.1992)
Get full text
Journal Article