Keyphrases
- engineering design
- coloured petri nets
- computer science
- network protocols
- lightweight
- formal analysis
- cryptographic protocols
- engineering education
- engineering students
- artificial intelligence
- mechanical engineering
- communication protocols
- engineering problems
- computer aided design
- application layer
- communication protocol
- authentication protocol
- engineering systems
- software engineering
- protocol specification
- database