Highly Reliable Relational Control Programs for Robust Rapid Transit Systems

• Authors:

• Farokh B. Bastani;I-Ling Yen;Sung Kim

• Affiliations:

• -;-;-

• Venue:
• HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
• Year:
• 2001