29 June 2011
We introduce the problem of Model Repair for Probabilistic Systems as follows. Given a...
You are here
Research seminaries
28 June 2011
We analyze the relationship between offshoring and the onshore workforce composition in German...
23 June 2011
The aim of this seminar is to present the EEC/EU cooperation policy with the African states from...
17 June 2011
A language is "higher-order" if program code can be passed around, that is, terms of the language...