Goal-Oriented Requirements Analysis for Process Control Systems Design

• Authors:

• Islam El-Maddah;Tom Maibaum

• Affiliations:

• -;-

• Venue:
• MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
• Year:
• 2003