Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Yiyan Lin
Home
The Complexity of Automated Addition of Fault-tolerance Without Explicit Legitimate States
Automated Addition of Fault Recovery to Cyber-physical Component-based Models
Automated Addition of Fault-tolerance under Synchronous Semantics
Pagination
Subscribe to Yiyan Lin
Stay Connected
