A formal specification of the RT-Middleware data transfer protocol.
Geoffrey BiggsNoriaki AndoPublished in: SIMPAR (2016)
Keyphrases
- data transfer
- formal specification
- protocol specification
- model checker
- data access
- model checking
- communication protocol
- data transmission
- data flow
- file system
- formal methods
- process algebra
- reverse engineering
- communication protocols
- data management
- software components
- distributed systems
- wireless sensor networks
- data mining
- computer networks