Preface to the special issue on engineering of computer-based systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 1, doi. 10.1007/s10009-025-00807-z
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2025 AND VI 27 AND IP 1
Results: 10
1
2
Machine learning-based ambient temperature prediction in radio access network environments.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 81, doi. 10.1007/s10009-025-00806-0
- By:
- Publication type:
- Article
3
Machine learning-based cache miss prediction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 53, doi. 10.1007/s10009-025-00800-6
- By:
- Publication type:
- Article
4
Evolution of the continuous integration of neural networks in autonomous systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 103, doi. 10.1007/s10009-025-00799-w
- By:
- Publication type:
- Article
5
LLM-based code generation and system migration in language-driven engineering.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 137, doi. 10.1007/s10009-025-00798-x
- By:
- Publication type:
- Article
6
Learning single and compound-protocol automata and checking behavioral equivalences.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 35, doi. 10.1007/s10009-025-00797-y
- By:
- Publication type:
- Article
7
IoT backends in the Asset Administration Shell – four integration approaches.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 93, doi. 10.1007/s10009-025-00796-z
- By:
- Publication type:
- Article
8
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 21, doi. 10.1007/s10009-025-00795-0
- By:
- Publication type:
- Article
9
Assertions in software testing: survey, landscape, and trends.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 117, doi. 10.1007/s10009-025-00794-1
- By:
- Publication type:
- Article
10
Formal verification and security analysis of MQTT-SN.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 5, doi. 10.1007/s10009-025-00793-2
- By:
- Publication type:
- Article