Login / Signup

Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems.

Danjiang ZhuHuobin TanShuzhen Yao
Published in: Comput. Electr. Eng. (2018)
Keyphrases
  • safety critical
  • petri net
  • fault tolerant
  • formal methods
  • safety analysis
  • e learning
  • web services
  • cooperative
  • expert systems
  • distributed systems
  • computer systems