Published January 24, 2023
| Version v2
Technical note
Open
Supplementary Material to the Pragmatic Verification and Validation of Industrial Executable SysML Models
Creators
- 1. IncQuery Labs cPlc., Budapest, Hungary; Johannes Kepler University Linz, Linz, Austria
- 2. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
- 3. IncQuery Labs cPlc., Budapest, Hungary
- 4. Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA
- 5. TMT International Observatory LLC, Pasadena, CA, USA
Description
This report is supplementary material to the paper Horváth et al. Pragmatic Verification and Validation of Industrial Executable SysML Models. It provides insights into the transformation rules between SysML and Gamma, both on the conceptual and the technical
level.
Files
Supplementary-Material-to-the-Pragmatic-Verification-and-Validation-of-Industrial-Executable-SysML-Models-v2.pdf
Files
(3.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:55786dc982a7002f8a77b31670c6dcef
|
3.7 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Journal article: 10.1002/sys.21679 (DOI)