Formal verification

• Authors:

• Cinzia Bernadeschi;Alessandro Fantechi;Stefania Gnesi

• Affiliations:

• -;-;-

• Venue:
• A generic fault-tolerant architecture for real-time dependable systems
• Year:
• 2001