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

access icon openaccess Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata

  • HTML
    460.310546875Kb
  • XML
    286.00390625Kb
  • PDF
    2.1797924041748047MB
Loading full text...

Full text loading...

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

Related content

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