Login / Signup
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware.
Stefan Resch
Michael Paulitsch
Published in:
ISSRE Workshops (2017)
Keyphrases
</>
safety critical
fault tolerant
distributed systems
fault tolerance
safety analysis
nuclear power plant
regulatory requirements
support systems
embedded systems
formal methods
load balancing
real time
agent architecture
database
cooperative