Automating Techniques for Inspecting High Assurance Systems

• Authors:

• M. S. Fisher;Bojan Cukic

• Affiliations:

• -;-

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