Sort by: Order: Results:

Now showing items 1-1 of 1

  • Compositonal modelling and verification of self-adaptive cyber-physical systems 

    BORDA, AIMEE (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2019)
    Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, providing assurances of critical requirements through formal verification techniques can be computationally ...