Formal reliability analysis of redundancy architectures
Crossref DOI link: https://doi.org/10.1007/s00165-018-0475-1
Published Print: 2019-02-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bozzano, Marco
Cimatti, Alessandro
Mattarei, Cristian
Text and Data Mining valid from 2019-02-12
Article History
Received: 7 November 2017
Accepted: 2 November 2018
First Online: 2 January 2019