Nissreen A. S. El-Saber

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Operational Semantics

Formal Specification

Business Process Modeling

Formal Analysis

Top Venues

University of Leicester, UK (PHD)

Education History

University of Leicester, UK

PHD

Publications

Nissreen A. S. El-Saber, Artur Boronat
BPMN Formalization and Verification using Maude. BM-FA (2014)