On the creep rupture life prediction
- 作者A. Baldan
- 卷第33卷
- 期第14期
- 印刷ISSN0022-2461
- 电子ISSN1573-4803
- 文件大小172.13KB
- 发表时间1998-07-15
- DOI10.1023/a:1004611514091
- 页码3629-3637
同作者推荐
Synthesising Features by GamesDimitar P. Guelev; Mark Ryan; Pierre Yves Schobbens · 2006
Sharpening the Incompleteness of the Duration CalculusDimitar P. Guelev · 2005
A Propositional Dynamic Logic with Qualitative ProbabilitiesDimitar P. Guelev · Journal of Philosophical Logic · 1999
Prefix and Projection onto State in Duration CalculusDimitar P. Guelev; Dang Van Hung · 2002
An application of temporal projection to interleaving concurrencyBen Moszkowski,Dimitar P. Guelev · Formal Aspects of Computing · 2017
Synthesising verified access control systems through model checkingZhang, Nan; Ryan, Mark; Guelev, Dimitar P. · Journal of Computer Security · 2008
An Epistemic Predicate CTL* for Finite Control π-ProcessesDimitar P. Guelev; Mads Dam · 2011