University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "formal verification"

DSpace Repository

Browsing LERO - Project partner authors by Subject "formal verification"

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. ...
  • Bonfè, Marcello; Boriero, Fabrizio; Dodi, Ricardo; Fiorini, Paolo; Morandi, Angelica; Muradore, Riccardo; Pasquale, Liliana; Sanna, Alberto; Secchi, Cristian (IEEE Computer Society, 2012)
    The paper describes a design specification process for the development of novel and intelligent surgical robots. Nowadays, surgical robots are usually controlled by the surgeons manually by using teleoperation. The ...

Search ULIR


Browse

My Account

Statistics