Rare Event Simulation for Non-Markovian Repairable Fault Trees
Publication year
2020Publisher
Cham : Springer International Publishing
ISBN
9783030451905
In
Lecture Notes in Computer Science, (2020)Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I, pp. 463-482ISSN
Annotation
TACAS 2020
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Biere, A.
Organization
Software Science
Journal title
Lecture Notes in Computer Science
Book title
Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I
Page start
p. 463
Page end
p. 482
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [245054]
- Electronic publications [132354]
- Faculty of Science [37365]
- Open Access publications [105958]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.