Contact Us
You can send a message to: Kornelia Rulf
Your reference page: Auto-SAFE: Development of a modular verification tool for the integration of automated safety analyses into the design process of software-intensive systems