Supporting Verification-Driven Incremental Distributed Design of Components.
Claudio MenghiPaola SpoletiniMarsha ChechikCarlo GhezziPublished in: FASE (2018)
Keyphrases
- building blocks
- multi agent
- distributed systems
- optimal design
- distributed environment
- functional verification
- distributed architecture
- formal methods
- neural network
- design process
- decision support
- distributed databases
- design patterns
- embedded systems
- distributed data
- knowledge acquisition
- data driven
- case study
- core components
- genetic algorithm