Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets.
Matteo CamilliLorenzo CapraPublished in: Discret. Event Dyn. Syst. (2022)
Keyphrases
- formal specification
- formal methods
- model checking
- distributed systems
- specification language
- specification languages
- concurrent systems
- cooperative
- machine learning
- process algebra
- object oriented design
- asynchronous circuits
- model checker
- database
- temporal logic
- knowledge based systems
- case study
- information systems
- artificial intelligence
- grid workflow