http://iet.metastore.ingenta.com
1887

access icon openaccess Simulation-Based Verification of Bounded-Horizon Safety for Hybrid Systems using Dynamic Number of Simulations

  • XML
    2.48828125Kb
  • PDF
    1.1496915817260742MB
  • HTML
    0.7451171875Kb
Loading full text...

Full text loading...

/deliver/fulltext/10.1049/iet-cps.2018.5017/IET-CPS.2018.5017.html;jsessionid=r369x273bxe2.x-iet-live-01?itemId=%2fcontent%2fjournals%2f10.1049%2fiet-cps.2018.5017&mimeType=html&fmt=ahah
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cps.2018.5017
Loading

Related content

content/journals/10.1049/iet-cps.2018.5017
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address