University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Computing Science research

Permanent URI for this collectionhttps://hdl.handle.net/2164/674

Browse

Subject: search.filters.subject.linear temporal logic

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Severity-Sensitive Robustness Analysis in Normative Systems
    (Springer, 2015-11-07) Gasparini, Luca; Norman, Timothy J; Kollingbaum, Martin J; Chen, Liang; Ghose, A; Oren, A; Telang, N; Thangarajah, P; University of Aberdeen.Natural & Computing Sciences; University of Aberdeen.Computing Science; University of Aberdeen.dot.rural Digital Economy Hub