<--- Back to Details
First PageDocument Content
Mathematical analysis / Quantum field theory / Feature model / Analysis / Spin / Pi / Feature interaction problem
Date: 2011-05-17 10:04:56
Mathematical analysis
Quantum field theory
Feature model
Analysis
Spin
Pi
Feature interaction problem

Scalable Prediction of Non-functional Properties in Software Product Lines Norbert Siegmund, Marko Rosenm¨uller Christian K¨astner, Paolo G. Giarrusso Sven Apel, Sergiy S. Kolesnikov University of Magdeburg, Germany P

Add to Reading List

Source URL: www.infosun.fim.uni-passau.de

Download Document from Source Website

File Size: 188,71 KB

Share Document on Facebook

Similar Documents

January 31, 2013  Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories

January 31, 2013 Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories

DocID: 1xW00 - View Document

PRESS RELEASE Zurich, Best of both worlds in health science Advancience and healthbank The data science company, started as a spin-off project of Basel University, together with the GDPR compliant health data p

PRESS RELEASE Zurich, Best of both worlds in health science Advancience and healthbank The data science company, started as a spin-off project of Basel University, together with the GDPR compliant health data p

DocID: 1xVQI - View Document

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu  Andreas Ulrich

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

DocID: 1xVPm - View Document

Tackling Large Software Verification Problems with Spin

Tackling Large Software Verification Problems with Spin

DocID: 1xUQY - View Document

Tackling Large Software Verification Problems with Spin

Tackling Large Software Verification Problems with Spin

DocID: 1xTIc - View Document