Opening book details…
About this scholarly article
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques - The architectural specification of an avionic subsystem by Barroca, L.M.; Fitzgerald, J.S.; Spencer, L. is a scholarly article available to read on EtoBox.
- Author
- Barroca, L.M.; Fitzgerald, J.S.; Spencer, L.
- Publisher
- IEEE Comput. Soc. Press
- Published
- 1995
- Language
- EN
More by Barroca, L.M.; Fitzgerald, J.S.; Spencer, L.
Browse all works by Barroca, L.M.; Fitzgerald, J.S.; Spencer, L.