Protocol-Based Engineering of Microservices.
Aditya Kailas KhadseSamuel H. Christie V.Munindar P. SinghAmit K. ChopraPublished in: EMAS (2023)
Keyphrases
- software engineering
- lightweight
- engineering design
- coloured petri nets
- mechanical engineering
- formal analysis
- computer science
- artificial intelligence
- engineering systems
- engineering students
- communication protocol
- security protocols
- multi party
- security analysis
- cryptographic protocols
- group communication
- requirements engineering
- network protocols
- genetic algorithm