Browsing by Sponsor "Lero Research Centre"
Now showing items 1-1 of 1
-
Compositonal modelling and verification of self-adaptive cyber-physical systems
(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 ...