Keyphrases
- software engineering
- lightweight
- computer science
- engineering design
- artificial intelligence
- cooperative
- engineering problems
- network protocols
- mechanical engineering
- engineering systems
- cryptographic protocols
- coloured petri nets
- learning algorithm
- tcp ip
- authentication protocol
- systems engineering
- formal analysis