| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Assertions in software testing: survey, landscape, and trends
|
Taromirad, Masoumeh
|
|
|
27 |
1 |
p. 117-135
|
artikel
|
| 2 |
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
|
Djukic, Miodrag
|
|
|
27 |
1 |
p. 21-34
|
artikel
|
| 3 |
Evolution of the continuous integration of neural networks in autonomous systems
|
Steffen, Bruno
|
|
|
27 |
1 |
p. 103-115
|
artikel
|
| 4 |
Formal verification and security analysis of MQTT-SN
|
Lin, Wei
|
|
|
27 |
1 |
p. 5-19
|
artikel
|
| 5 |
IoT backends in the Asset Administration Shell – four integration approaches
|
Kristan, Johannes
|
|
|
27 |
1 |
p. 93-102
|
artikel
|
| 6 |
Learning single and compound-protocol automata and checking behavioral equivalences
|
Marksteiner, Stefan
|
|
|
27 |
1 |
p. 35-52
|
artikel
|
| 7 |
LLM-based code generation and system migration in language-driven engineering
|
Busch, Daniel
|
|
|
27 |
1 |
p. 137-147
|
artikel
|
| 8 |
Machine learning-based ambient temperature prediction in radio access network environments
|
Rahman, Selma
|
|
|
27 |
1 |
p. 81-92
|
artikel
|
| 9 |
Machine learning-based cache miss prediction
|
Jelačić, Edin
|
|
|
27 |
1 |
p. 53-80
|
artikel
|
| 10 |
Preface to the special issue on engineering of computer-based systems
|
Kofroň, Jan
|
|
|
27 |
1 |
p. 1-3
|
artikel
|
Tijdschrift beschrijving