Book chapter 1231 views 136 downloads
An Institution for Simple UML State Machines
Alexander Knapp,
Till Mossakowski,
Markus Roggenbach 
,
Martin Glauer
,
Martin Glauer
Fundamental Approaches to Software Engineering, Volume: 9033
Swansea University Author:
Markus Roggenbach
-
PDF | Accepted Manuscript
Download (276.69KB)
DOI (Published version): 10.1007/978-3-662-46675-9_1
Abstract
An Institution for Simple UML State Machines
| Published in: | Fundamental Approaches to Software Engineering |
|---|---|
| ISBN: | 978-3-662-46674-2978-3-662-46675-9 |
| Published: |
Springer
2015
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa28354 |
| Item Description: |
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-46675-9_1 |
|---|---|
| College: |
Faculty of Science and Engineering |
| End Page: |
18 |