Qais

Quantitative analysis of interacting systems: foundations and algorithms

Quantitative analysis of interacting systems: foundations and algorithms

Project Summary

In recent years, there has been an increasing interest in studying the behavior of software systems from a quantitative perspective. Such an interest is actually driven by concrete challenges coming from the engineering practice. It is widely recognized that to suitably meet these challenges requires the development of both solid foundations and derived techniques. Such is the starting point of this project.

(read more)

Project Info

Supported by FCT under contract PTDC/EIA-CCO/122240/2010 (105 KEuro)
Start Date 1st May 2012
Duration 3 years
Hosted by HasLab/ INESC TEC @ Minho University
  Science and Technology of Programming Section @ University of Lisbon

r32 - 07 Sep 2012 - 22:13:03 - AlexandraSilva
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM