返回
Self-Adaptive Software Needs Quantitative Verification at Runtime
DOI:10.1145/2330667.2330686.png)
摘要
En
Keyword:
MODEL CHECKING
SYSTEMS
期刊
IF:
12.2
论文数:
1.2W
被引数:
3.7W
机构
引用论文
Inhibitor binding to the Phe53Trp mutant of HIV-1 protease promotes conformational changes detectable by spectrofluorometry
Biochemistry
IF0
Mineralogy of young lunar mare basalts: Assessment of temporal and spatial heterogeneity using M3 data from Chandrayaan-1
Icarus
IF0
How does spatial cognitive style affect indoor fire evacuation wayfinding in mobile virtual reality?

