A Bus Instrumentation Protocol Specified in LOTOS.
Pierre AzémaKhalil DriraFrançois VernadatPublished in: FORTE (1990)
Keyphrases
- high speed
- cryptographic protocols
- lightweight
- network protocols
- security protocols
- coloured petri nets
- temporal ordering
- tcp ip
- communication protocol
- formal analysis
- monitoring system
- petri net
- application layer
- low cost
- database systems
- communication protocols
- case study
- web services
- protocol specification
- artificial intelligence