Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
A specification and code generation tool for message translation and validation
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Hi-index | 0.00 |