Executable Specifications for Embedded Distributed Systems.
Miroslav SvédaRadimir VrbaPublished in: Computer (2001)
Keyphrases
- distributed systems
- concurrent systems
- formal specification
- attribute grammars
- fault tolerant
- control flow
- load balancing
- fault tolerance
- geographically distributed
- embedded systems
- distributed environment
- real time systems
- loosely coupled
- data replication
- software architecture
- distributed database systems
- mobile agents
- distributed computing
- security policies
- model checking
- operating system
- real time
- mobile computing
- agent technology