Language support for verifying reconfigurable interacting systems.
Yehia Abd AlrahmanShaun AzzopardiLuca Di StefanoNir PitermanPublished in: Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
- formal languages
- distributed systems
- low cost
- relational database management systems
- support systems
- finite state machines
- management system
- programming language
- end users
- building blocks
- learning systems
- case study
- web environment
- highly modular
- dynamic reconfiguration
- technical systems
- database
- multi agent
- artificial intelligence
- databases