Period of time： 2013年2期
Publisher： Inderscience Publishers
Founded in： 2010
Total resources： 5
ISSN： 1757-8779
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal of Critical Computer-Based Systems,volume 4,issue 2
Menu
A survey of safety-oriented model-driven and formal development approaches
By Prokhorova Yuliya,Troubitsyna Elena in (2013)
International Journal of Critical Computer-Based Systems,volume 4,issue 2 , Vol. 4, Iss. 2, 2013-09 , pp.
Access to resources
Recommend
Probabilistic fault tree synthesis using causality computation
By Leitner-Fischer Florian,Leue Stefan in (2013)
International Journal of Critical Computer-Based Systems,volume 4,issue 2 , Vol. 4, Iss. 2, 2013-09 , pp.Optimal configuration of fault-tolerance parameters for distributed replicated server access
By Daidone Alessandro,Renier Thibault,Bondavalli Andrea,Schwefel Hans Peter in (2013)
International Journal of Critical Computer-Based Systems,volume 4,issue 2 , Vol. 4, Iss. 2, 2013-09 , pp.By Vyas Pankaj,Mittal R.K. in (2013)
International Journal of Critical Computer-Based Systems,volume 4,issue 2 , Vol. 4, Iss. 2, 2013-09 , pp.