Llwytho...
Formal Modeling and Verification for MVB
Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system cor...
Wedi'i Gadw mewn:
| Prif Awduron: | , , , |
|---|---|
| Fformat: | Artigo |
| Iaith: | Inglês |
| Cyhoeddwyd: |
Hindawi Limited
2013-01-01
|
| Cyfres: | Journal of Applied Mathematics |
| Mynediad Ar-lein: | http://dx.doi.org/10.1155/2013/470139 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|