Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
A reliability modeling method for the system subject to common cause failures and competing failures
Zeng, Yining, Sun, Youchao
Published in Quality and reliability engineering international (01.07.2022)
Published in Quality and reliability engineering international (01.07.2022)
Get full text
Journal Article
Loading…
A Generalized Stochastic Petri Net model of route learning for emergency egress situations
Danial, S.N., Khan, F., Veitch, B.
Published in Engineering applications of artificial intelligence (01.06.2018)
Published in Engineering applications of artificial intelligence (01.06.2018)
Get full text
Journal Article
Loading…
Reliability modeling based on power transfer efficiency and its application to aircraft actuation system
Cui, Xiaoyu, Li, Tongyang, Wang, Shaoping, Shi, Jian, Ma, Zhonghai
Published in Eksploatacja i niezawodność (01.01.2020)
Published in Eksploatacja i niezawodność (01.01.2020)
Get full text
Journal Article
Loading…
An algorithmic approach for analysis of finite-source retrial systems with unreliable servers
Gharbi, Nawel, Dutheillet, Claude
Published in Computers & mathematics with applications (1987) (01.09.2011)
Published in Computers & mathematics with applications (1987) (01.09.2011)
Get full text
Journal Article
Loading…
Loading…
An inspection model with minimal and major maintenance for a system with deterioration and Poisson failures
Hosseini, M.M., Kerr, R.M., Randall, R.B.
Published in IEEE transactions on reliability (01.03.2000)
Published in IEEE transactions on reliability (01.03.2000)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Performance and security trade-offs in high-speed networks : an investigation into the performance and security modelling and evaluation of high-speed networks based on the quantitative analysis and experimentation of queueing networks and generalised stochastic Petri nets
Get full text
Dissertation
Loading…
Loading…
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models
Cortellessa, Vittorio, Eramo, Romina, Tucci, Michele
Published in 2018 IEEE International Conference on Software Architecture (ICSA) (01.04.2018)
Published in 2018 IEEE International Conference on Software Architecture (ICSA) (01.04.2018)
Get full text
Conference Proceeding
Loading…
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Miskeen, Guzlan M. A., Kouvatsos, Demetres D., Habibzadeh, Esmaeil
Published in Wireless personal communications (01.06.2013)
Published in Wireless personal communications (01.06.2013)
Get full text
Journal Article
Conference Proceeding
Loading…
Formal safety verification for TTP/C network in Drive-by-wire system
Ru Niu, Yuan Cao, Tang, Tao
Published in 2007 IEEE International Conference on Vehicular Electronics and Safety (01.12.2007)
Published in 2007 IEEE International Conference on Vehicular Electronics and Safety (01.12.2007)
Get full text
Conference Proceeding