Accelerating Error Handling Verification of Complex Systems: A Formal Approach

Author(s):
Bhushan Parikh, Peter Graniello, and Neha Rajendra
Location:
United States
Year:
2022
Type:
Paper
Format:
pdf