A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
An evaluation of timed scenario notations
Journal of Systems and Software
Fundamenta Informaticae
Hi-index | 0.00 |