The SCR method for formally specifying, verifying, and validating requirements: tool support
ICSE '97 Proceedings of the 19th international conference on Software engineering
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Requirements Validation for Hybrid Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Hi-index | 0.00 |