.png){kind=icon}
Return
Self-Adaptive Software Needs Quantitative Verification at Runtime
.png){kind=icon}
OA
AI
DOI：10.1145/2330667.2330686.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En
Keywords:
MODEL CHECKING
SYSTEMS
Journal
IF:
12.2
Papers:
1.2W
Citations:
3.7W
Organization
View more organizations
Cited Papers
The benefit of multiple angle observations for visible band remote sensing using night lights.png)
OAAI
IF0
OAAIShareSaveShareSaveExploring Visual Perceptions of Spatial Information for Wayfinding in Virtual Reality Environments
OAAI
OAAIShareSaveInhibitor binding to the Phe53Trp mutant of HIV-1 protease promotes conformational changes detectable by spectrofluorometryBiochemistry
BiochemistryIF0
PREAI
ShareSaveMineralogy of young lunar mare basalts: Assessment of temporal and spatial heterogeneity using M3 data from Chandrayaan-1Icarus
IcarusIF0
PREAI
ShareSaveHow does spatial cognitive style affect indoor fire evacuation wayfinding in mobile virtual reality?
PREAI
ShareSave View more