Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 1
Results: 6
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 101, doi. 10.1007/s10009-024-00736-3
- By:
- Publication type:
- Article
A process for creating KDM2PSM transformation engines.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 1, doi. 10.1007/s10009-024-00735-4
- By:
- Publication type:
- Article
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 79, doi. 10.1007/s10009-023-00720-3
- By:
- Publication type:
- Article
On the applicability of hybrid systems safety verification tools from the automotive perspective.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 49, doi. 10.1007/s10009-023-00707-0
- By:
- Publication type:
- Article
Programming event monitors.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 33, doi. 10.1007/s10009-023-00706-1
- By:
- Publication type:
- Article
Knowledge representation of the state of a cloud-native application.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 21, doi. 10.1007/s10009-023-00705-2
- By:
- Publication type:
- Article