Static safety analysis for non-uniform service availability in Actors.

J. L. Colaco Marc Pantel Fabien Dagnat Patrick Sallé

Published in: FMOODS (1999)

Keyphrases

safety analysis
nuclear power plant
safety critical
symbolic model checking
control system
fault model
real time
knowledge base
reliability analysis
decision making
web services
multi agent
partial observability