The crystal structure of N′-(tert-butyl)-N′-(3,5-dimethylbenzoyl)-3-methoxy-N,2-dimethylbenzohydrazide, C23H30N2O3 von Zheng, Jiangyu, Tang, Wenhao, Pan, Haiyu

Volltext

Reachability in Fuzzy Game Graphs von Pan, Haiyu, Li, Yongming, Cao, Yongzhi, Li, Dechao

Volltext

Simulation for lattice-valued doubly labeled transition systems von Pan, Haiyu, Cao, Yongzhi, Zhang, Min, Chen, Yixiang

Volltext

Trade-off Costs of Software Trustworthy Attributes von Mengyue, Wang, Yanfang, Ma, Haiyu, Pan, Hongwei, Tao, Liang, Chen

Volltext

A hierarchical gravitational search algorithm with an effective gravitational constant von Wang, Yirui, Yu, Yang, Gao, Shangce, Pan, Haiyu, Yang, Gang

Volltext

Incremental model checking for fuzzy computation tree logic von Pan, Haiyu, Zhou, Jie, Lin, Yuming, Cao, Yongzhi

Volltext

The crystal structure of N ′-( tert -butyl)- N ′-(3,5-dimethylbenzoyl)-3-methoxy- N ,2-dimethylbenzohydrazide, C 23 H 30 N 2 O 3 von Zheng, Jiangyu, Tang, Wenhao, Pan, Haiyu

Volltext

Fuzzy Alternating Refinement Relations Under the Gödel Semantics von Pan, Haiyu, Cao, Yongzhi, Chang, Liang, Qian, Junyan, Lin, Yuming

Volltext

Lattice-valued simulations for quantitative transition systems von Pan, Haiyu, Li, Yongming, Cao, Yongzhi

Volltext

Approximate Safety Properties in Metric Transition Systems von Qian, Junyan, Shi, Fan, Cai, Yong, Pan, Haiyu

Volltext

Nondeterministic fuzzy automata with membership values in complete residuated lattices von Pan, Haiyu, Li, Yongming, Cao, Yongzhi, Li, Ping

Volltext

Model checking fuzzy computation tree logic von Pan, Haiyu, Li, Yongming, Cao, Yongzhi, Ma, Zhanyou

Volltext

Fuzzy Pushdown Termination Games von Pan, Haiyu, Song, Fu, Cao, Yongzhi, Qian, Junyan

Volltext

Model checking computation tree logic over finite lattices von Pan, Haiyu, Li, Yongming, Cao, Yongzhi, Ma, Zhanyou

Volltext

A Novel Trustworthiness Measurement Model Based on Weight and User Feedback von ZHOU, Wei, MA, Yanfang, PAN, Haiyu

Volltext

Design of New Second‐Generation TRK Inhibitors Targeting Tropomyosin Receptor Kinases by Using Molecular Docking, Molecular Dynamics Simulations and ADMET Properties von Zhao, Kaihui, Cui, Yang, Tang, Wenhao, Shi, Kang, Pan, Haiyu, Zhong, Qidi

Volltext

The Quantitative Analysis of Approximate Correctness for Real-Time Systems von Ma, Yanfang, Chen, Liang, Pan, Haiyu

Volltext

Software Trustworthiness Metric Model based on Component Weight von Huang, Dujuan, Ma, Yanfang, Pan, Haiyu, Wang, Mengyue

Volltext

The Approximate Correctness of Systems Based on δ-bisimulation von Ma, Yanfang, Pan, Haiyu

Volltext

Bisimulation for Lattice-valued Transition Systems von Haiyu Pan, Min Zhang, Yixiang Chen

Volltext bestellen