Search Results - "Nickovic, Dejan"
-
1
Authors: et al.
Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-37, 37p
PDF Full Text -
2
Authors: et al.
Source: ACM Transactions on Embedded Computing Systems; Jul2024, Vol. 23 Issue 4, p1-45, 45p
PDF Full Text -
3
-
4
Authors: et al.
Source: Formal Methods in System Design; May2025, Vol. 66 Issue 1, p3-48, 46p
-
5
Authors: et al.
Source: Formal Methods in System Design; Dec2019, Vol. 55 Issue 1, p72-72, 1p
-
6
A survey of challenges for runtime verification from advanced application domains (beyond software).
Authors: et al.
Source: Formal Methods in System Design; 2019, Vol. 54 Issue 3, p279-335, 57p
-
7
Authors: et al.
Source: Information & Computation; Nov2022:Part A, Vol. 289, pN.PAG-N.PAG, 1p