Government Organisations

Some government organisations fund research and development in this field they can also be involved in a similar way as private companies are.

Formal Specification & Verification

Performance Modelling

Distributed & Functional Systems