日期:
2020 年 — 2026 年
2020
2021
2022
2023
2024
2025
2026
影响因子:

Fluorogenic RNA-based biomaterials for imaging and tracking the cargo of extracellular vesicles.

用于成像和追踪细胞外囊泡货物的荧光RNA基生物材料

Bonacquisti Emily E, Ferguson Scott W, Wadsworth Gable M, Jasiewicz Natalie E, Wang Jinli, Chaudhari Ameya P, Kussatz Caden C, Nogueira Ana T, Keeley Daniel P, Itano Michelle S, Bolton Matthew L, Hahn Klaus M, Banerjee Priya R, Nguyen Juliane

Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking

利用模型检验生成表型错误人类行为以评估人机交互

Bolton, Matthew L; Bass, Ellen J; Siminiceanu, Radu I

Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System Failures Using Model Checking

利用任务分析模型和错误人类行为表型,通过模型检验发现系统故障

Bolton, Matthew L; Bass, Ellen J

A Method for the Formal Verification of Human-interactive Systems

一种用于人机交互系统形式化验证的方法

Bolton, Matthew L; Bass, Ellen J