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

access icon openaccess Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations

Loading full text...

Full text loading...

/deliver/fulltext/10.1049/iet-cps.2018.5017/IET-CPS.2018.5017.html;jsessionid=hxj6iu0tbxx5.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