Research output per year
Research output per year
Research output
Search results
-
2023
Introduction to the Special Issue on Runtime Verification
Deshmukh, J. V. (Editor) & Nickovic, D. (Editor), 2023, In: International Journal on Software Tools for Technology Transfer. 25, 4, p. 427-429Research output: Contribution to journal › Editorial
Open Access -
2021
Smart and Circular Cities
Kunze, P., Schoitsch, E. & Mylonas, G., 2021, In: ERCIM News. 127, p. 4-35 32 p.Research output: Contribution to journal › Editorial