An Approach to Safety Critical Systems Design

• Authors:

• Miroslav Svéda

• Affiliations:

• -

• Venue:
• EUROCAST '97 Proceedings of the A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory
• Year:
• 1997