Formal models for automotive systems and vehicular networks: benefits and challenges
Formal models have seen widespread use in the development of safety- and security-critical systems --- primarily as a means of providing increased assurance. In particular, formal models of threats have the potential to give rise to numerous benefits: they can help in the understanding of vulnerabil...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
IEEE
2016
|