Symmetry Reduction of Time-Triggered Ethernet Protocol.
Marwan AmmarSamir OuchaniOtmane Aït MohamedPublished in: ANT/SEIT (2013)
Keyphrases
- tcp ip
- protocol stack
- high speed
- lightweight
- internet protocol
- coloured petri nets
- symmetry detection
- embedded systems
- communication protocol
- bilateral symmetry
- ip networks
- reduction method
- security protocols
- network devices
- wide area network
- ip address
- authentication protocol
- database
- formal analysis
- computer networks
- data acquisition
- response time
- neural network
- real time