Blar i Institutt for datateknologi, elektroteknologi og realfag på emneord "multiagent systems (cs.MA)"
Viser treff 1-1 av 1
-
On Distributed Runtime Verification by Aggregate Computing
(Journal article; Peer reviewed, 2019)Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ...