UniMaaS Formal Models | UniMaaS Wiki

Skip to main content

Home
Project Overview
Architecture
- Reference Architecture
Core Suites
Platform Integration
- Platform Management and Business Intelligence Dashboard
- DevOps Environment, Continuous Integration and Quality Assurance
Pilot Implementations

Funded by the European Union

Grant Agreement No: 101177842

Project Website

Core Suites
Modelling Suite (WP5)
UniMaaS Formal Models

UniMaaS Formal Models

Task T5.1

This page will be completed by the following partners:

Lead: QUB

Contributors: NTUA, UCLouvain, AEGEAN, ETS, UPV, LUK