Hochschulschrift
Verification & Performance Measurement for Transport Protocol Parallel Routing of an AUTOSAR Gateway System
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2016
- Classification
-
Ingenieurwissenschaften und Maschinenbau
- Keyword
-
Software Testing
Combinatorial Testing
AUTOSAR
Transport Protocol
Gateway
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2016
- Creator
- Contributor
-
Liggesmeyer, Peter
- URN
-
urn:nbn:de:hbz:386-kluedo-44041
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Mohammad, Hassan
- Liggesmeyer, Peter
- Technische Universität Kaiserslautern
Time of origin
- 2016
Other Objects (12)
The complete IS-IS routing protocol
Protocol Independent Multicast and Asymmetric Routing
Protocol Verification with Heuristic Search
BGP : [building reliable networks with border gateway protocol]
Routing and internet gateway selection in aeronautical ad hoc networks
Belief change and cryptographic protocol verification
Formal verification of the pastry protocol
Formal protocol verification applied : 07421 executive summary
Sequential and parallel algorithms for local routing
Automated Verification of Parallel Nested DFS
Optimization techniques for parallel protocol implementation
Privacy enhancing technologies : protocol verification, implementation and specification
The complete IS-IS routing protocol
Protocol Independent Multicast and Asymmetric Routing
Protocol Verification with Heuristic Search
BGP : [building reliable networks with border gateway protocol]
Routing and internet gateway selection in aeronautical ad hoc networks
Belief change and cryptographic protocol verification
Formal verification of the pastry protocol
Formal protocol verification applied : 07421 executive summary
Sequential and parallel algorithms for local routing
Automated Verification of Parallel Nested DFS
Optimization techniques for parallel protocol implementation
Privacy enhancing technologies : protocol verification, implementation and specification
The complete IS-IS routing protocol
Protocol Independent Multicast and Asymmetric Routing
Protocol Verification with Heuristic Search
BGP : [building reliable networks with border gateway protocol]
Routing and internet gateway selection in aeronautical ad hoc networks
Belief change and cryptographic protocol verification
Formal verification of the pastry protocol
Formal protocol verification applied : 07421 executive summary
Sequential and parallel algorithms for local routing
Automated Verification of Parallel Nested DFS
Optimization techniques for parallel protocol implementation