University of Limerick Institutional Repository

Browsing by Subject "software and its engineering"

DSpace Repository

Browsing by Subject "software and its engineering"

Sort by: Order: Results:

  • Borda, Aimee; Pasquale, Liliana; Koutavas, Vasileios; Nuseibeh, Bashar (Assocation for Computing Machinery, 2018)
    Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, using formal verification techniques to provide assurances that critical requirements are satisfied can ...