New Search

Export article

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models

, Paula Herber, Sabine Glesner
Constructive Side-Channel Analysis and Secure Design pp 127-146; doi:10.1007/978-3-030-40914-2_7

The publisher has not yet granted permission to display this abstract.
Keywords: hybrid systems / Compositional Verification / theorem proving / model-driven development

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

Share this article

Click here to see the statistics on "Constructive Side-Channel Analysis and Secure Design" .
References (25)
    Cited by 1 articles
      Back to Top Top