480 search results - page 27 / 96 » On the verification of automotive protocols |
ICECCS
2010
IEEE
13 years 5 months ago
2010
IEEE
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
DRM
2006
Springer
13 years 11 months ago
2006
Springer
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...
ICTAI
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
ACSW
2006
13 years 8 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...