published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods Journal
presented at event 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods Conference
keywords Computer Science Computer Science, Software Engineering Engineering Engineering, Electrical & Electronic MODELS REQUIREMENTS SCENARIOS Science & Technology Technology