Skip to main navigation
Skip to search
Skip to main content
United Arab Emirates University Home
Home
Research units
Researchers
Projects
Research output
Datasets
Activities
Press/Media
Prizes
Impacts
Search by expertise, name or affiliation
Formal analysis of UML-based designs
Boumediene Belkhouche
, Anastasia Nix
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
2
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal analysis of UML-based designs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
OO Design
100%
Semantic Code
100%
Code Generation
100%
Computer Science
Code Generation
100%