Schedulability and safety analysis in the graphical communicating shared resources.

Hanêne Ben-Abdallah Young-Si Kim Insup Lee

Published in: WORDS (1996)

Keyphrases

safety analysis
sharing information
safety critical
control system
nuclear power plant
fault model
symbolic model checking
information resources
information systems