Dalal Alrajeh - ICSE 2020

Wed 24 June - Thu 16 July 2020

Registered user since Thu 12 Apr 2018

Name:Dalal Alrajeh

Country:United Kingdom

Affiliation:Imperial College London

Research interests:Formal methods, specification, AI

Contributions

ICSE 2020	Cultural Exchange Session Chair of A23-Requirements (part of Paper Presentations) Committee Member in Program Committee within the New Ideas and Emerging Results-track Adapting Requirements Models to Varying Environments Session Chair of Cultural Exchange (part of Cultural Exchange) Programme Committee in Program Committee within the Technical Papers-track
FormaliSE 2020	Minimal Assumptions Refinement for Realizable Specifications
Show activities from other conferences