Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems

Autor: José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi

Publikováno v: Lecture Notes in Computer Science
Lecture Notes in Computer Science-Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483d8fa8720ff5b118a36736748fa0ae