Static Safety Analysis of UML Action Semantics for Critical Systems Development

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3590]
- Title
- Static Safety Analysis of UML Action Semantics for Critical Systems Development
- Author
- Zs Pap
- Varró, Dániel
- Date of issue
- 2004
- Language
- en
- Identifiers
- MTMT: 1635315
- Title of the container document
- GI Jahrestagung (1)
- Document type
- egyéb konferenciaközlemény
- Document genre
- konferenciaközlemény