Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.
Rob J. van GlabbeekPeter HöfnerPublished in: MARS@ETAPS (2017)
Keyphrases
- formal specification
- protocol stack
- embedded systems
- wireless communication
- model checking
- specification languages
- communication protocols
- specification language
- quality of service
- object oriented design
- process algebra
- tcp ip
- reverse engineering
- formal methods
- concurrent systems
- software components
- wireless networks
- high level
- social networks
- temporal logic
- computer simulation