A multiple view paradigm for modeling and validation of real-time software systems

• Authors:

• M. S. Deutsch

• Affiliations:

• -

• Venue:
• Edited papers presented at the 1st International Conference on Reliability and robustness of engineering software
• Year:
• 1987