Li Zhen Zhang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usually interweave redundancy tactics into the functional models making them complex and cluttered; the maintenance of such models is time-consuming(More)
  • 1