University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "hybrid system"

DSpace Repository

Browsing LERO - Project partner authors by Subject "hybrid system"

Sort by: Order: Results:

  • Pluska, Michal; Sinclair, David (IEEE Computer Society, 2011)
    This work presents the OHMS methodology. The main aim of it is to design a model of a complex system easy to process by formal model checking procedure. The outcome is a verification report showing safety of the system. ...

Search ULIR


Browse

My Account

Statistics