Keyphrases
- formal model
- formal methods
- formal analysis
- real time
- software architecture
- model checking
- databases
- case study
- software engineering
- end to end
- network architecture
- design considerations
- network on chip
- verification method
- reactive systems
- communication protocols
- hardware architecture
- natural language interface
- data model
- data sets