Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech
Han Ho Choi(Dongguk University), Won-Tae Kim(Korea University of Technology and Education), Hae‐Young Lee(Seoul National University Hospital), Jae Yeon Jo(Konkuk University), Sungdeok Cha(Korea University), Junbeom Yoo(Konkuk University Medical Center)
Cited by 3
Related Papers
Lifestyle management of hypertension: International Society of Hypertension position paper endorsed by the World Hypertension League and European Society of Hypertension
|Journal of Hypertension|2023|245
Carrier transport in flexible organic bistable devices of ZnO nanoparticles embedded in an insulating poly(methyl methacrylate) polymer layer
|Nanotechnology|2009|161
Data-centric middleware based digital twin platform for dependable cyber-physical systems
|Unknown|2017|116
Characteristics, Outcomes, and Treatment of Heart Failure With Improved Ejection Fraction
|Journal of the American Heart Association|2019|113
Synthesis and lithium intercalation properties of Li3VO4 as a new anode material for secondary lithium batteries
|Journal of Power Sources|2013|87