Model Generation by Moderated Regular Extrapolation
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Quality engineering: leveraging heterogeneous information
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Hi-index | 0.00 |