Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools

• Authors:

• Uwe Glässer

• Affiliations:

• -

• Venue:
• EUROCAST '95 Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory
• Year:
• 1995