Formal Methods for Distributed Computing in Future Railway Systems.
Alessandro FantechiStefania GnesiAnne E. HaxthausenPublished in: ISoLA (3) (2020)
Keyphrases
- formal methods
- distributed computing
- distributed systems
- safety critical
- knowledge based systems
- computing devices
- distributed computing systems
- formal specification
- fault tolerance
- mobile agents
- cloud computing
- artificial intelligence
- load balancing
- grid computing
- distributed computing environment
- distributed environment
- virtual machine
- business processes
- knowledge acquisition
- expert systems