University of Limerick Institutional Repository

Browsing by Subject "system verificaton"

DSpace/Manakin Repository

Browsing by Subject "system verificaton"

Sort by: Order: Results:

  • Pluska, Michal; Sinclair, David (IEEE Computer Society, 2010)
    Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing ...

Search DSpace

Browse

My Account