Compositionality versus Global Characteristic Features

The overall ambition of this topic is to devise formalisms and methods that allow quantitative and security properties of composite systems to be established from properties of the components as much as possible.

Topics:

Components, interfaces for resources
Compositionality of security properties
Composition of Heterogeneous Models

Work package leader:

Flemming Nielson

Technical University of Denmark

E-mail

Research

	Specification and Modeling Formalisms
	Validation and Analysis Techniques
	Compositionality versus Global Characteristic Features
	Cross-level Property Preservation
	Mini cases
	Tool prototypes

LINKS

http://english.is.cas.cn/

http://www.dtu.dk/English

http://www.ecnu.edu.cn/

http://www.en.aau.dk

http://www.cs.aau.dk/en

http://ctic.au.dk/

PARTNERS

FINANCED BY

The Danish National Research Foundation objective is to promote and stimulate basic research at the highest international level at the frontiers of all scientific fields. Read more:

www.dg.dk/en

Alphabetical index | Sitemap