Keyphrases
- distributed systems
- formal methods
- fault tolerant
- formal analysis
- artificial intelligence
- model checking
- distributed environment
- load balancing
- software engineering
- knowledge based systems
- distributed computing
- geographically distributed
- real time systems
- mobile agents
- formal specification
- concurrent systems
- safety critical
- fault tolerance
- distributed database systems
- software architecture
- metamodel
- data replication
- reverse engineering
- open source
- object oriented
- mobile agent system
- information systems