University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Subject "verification"

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Subject "verification"

Sort by: Order: Results:

  • Pluska, Michal; Sinclair, David (20th European Meeting on Cybernetics and System Research, 2010)
    Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...

Search DSpace


Browse

My Account

Statistics