Formal Modelling of Distributed Automation CPS with CP-Agnostic Software.
Dmitrii DrozdovSandeep PatilValeriy VyatkinPublished in: SOHOMA (2016)
Keyphrases
- distributed systems
- hardware design
- distributed environment
- software development
- software systems
- cooperative
- software tools
- open systems
- distributed data
- software maintenance
- peer to peer
- source code
- multi agent
- software package
- website
- formal methods
- configuration management
- software design
- software architecture
- software quality
- distributed computing
- fault tolerant
- mobile agents
- user interface