Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A Comparison of Fault Detection Efficiency Between Adaptive Random Testing and Greedy Combinatorial Testing for Control Logics in Nuclear Industrial Distributed Control Systems
Zong, Cheng, Zhang, Yanliang, Yao, Yongming, Shuang, Shiyong, Wang, Ziyuan
Published in IEEE access (2021)
Published in IEEE access (2021)
Get full text
Journal Article
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea
Kim, Myungchul, Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Published in Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea (2001)
Published in Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea (2001)
Get full text
eBook
Conference Proceeding
Long-Term Costs of Treatment for Depression: Impact of Drug Selection and Guideline Adherence
Crown, William H., Treglia, Michael, Meneades, Laurie, White, Amy
Published in Value in health (01.07.2001)
Published in Value in health (01.07.2001)
Get full text
Journal Article
Goodness-of-fit tests for conditional models under censoring and truncation
Get full text
Journal Article
Conference Proceeding
Three Major PC Motherboard Companies Launch First Retail Motherboards with Dolby PC Entertainment Experience Solutions
Published in Business Wire
(26.05.2005)
Get full text
Newsletter