Composing model-based analysis tools
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl...
| Other Authors: | Heinrich, Robert,, Durán, Francisco,, Talcott, Carolyn L.,, Zschaler, Steffen, SpringerLink (Online service) |
|---|---|
| Format: | Electronic |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021.
Cham, Switzerland : 2021. |
| Physical Description: |
1 online resource. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |