A Method for Model Checking Feature Interactions

Thomas Pedersen, Thibaut Le Guilly, Anders Peter Ravn, Arne Joachim Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

5 Citationer (Scopus)

Filter

Afsluttet
INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G. (Projektdeltager), Skou, A. (Projektdeltager) & Ravn, A. P. (Projektdeltager)
FP7 STREP
01/11/2012 → 31/10/2015
Projekter: Projekt › Forskning
Totalflex
Skou, A. (Projektdeltager), Pedersen, T. B. (Projektdeltager), Bak-Jensen, B. (Projektdeltager), Kjeldskov, J. (Projektdeltager), Skov, M. B. (Projektdeltager) & Uhrenholt, R. W. (Projektdeltager)
ForskEL
01/01/2012 → 31/12/2016
Projekter: Projekt › Forskning

Projekter