Discrete-time Markovian arrival processes to model multi-state complex systems with loss of units and an indeterminate variable number of repairpersons
2018 ◽
Vol 174
◽
pp. 114-127
◽
Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement
2021 ◽
Vol 47
(1)
◽
pp. 189-203
◽
Keyword(s):
1997 ◽
Vol 20
(11)
◽
pp. 970-978
◽
Keyword(s):
2001 ◽
Vol 15
(1)
◽
pp. 1-14
◽
Keyword(s):
2019 ◽
Vol 2019
◽
pp. 1-10
Keyword(s):
Keyword(s):