Papyrus-Based Safety Analysis Automatization.

Pietro Biondi Fabrizio Tronci Giampaolo Bella

Published in: ICSRS (2022)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
multi agent systems
knowledge base
low cost