International Workshop on Software Specification of Safety Relevant Transportation Control TasksEckehard SchniederÉpuiséPrévenez-moi
Formal methods for automation and safety in railway and automotive systemsEckehard SchniederÉpuiséPrévenez-moi
