A refinement-based development of a distributed signalling system.
Paulius StankaitisAlexei IliasovTsutomu KobayashiYamine Aït AmeurFuyuki IshikawaAlexander B. RomanovskyPublished in: Formal Aspects Comput. (2021)
Keyphrases
- distributed environment
- software engineering
- distributed systems
- distributed processing
- data sets
- knowledge based systems
- rapid development
- peer to peer
- genetic algorithm
- open source
- database
- information processing
- mobile agents
- artificial intelligence
- development process
- fault tolerant
- st century
- future development
- real time