University of Limerick Institutional Repository

Browsing LERO - UL authors by Subject "system modeling languages"

DSpace Repository

Browsing LERO - UL authors by Subject "system modeling languages"

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 ...

Search ULIR


Browse

My Account

Statistics