Formal Verification of Safety and Security Properties in Industry 4.0 Applications.

Ali Mohammad Hosseini, Thilo Sauter, Wolfgang Kastner

Browse the full ETFA paper archive.