1031 search results - page 10 / 207 » Modeling and Formal Verification of Production Automation Sy... |
SAC
2008
ACM
13 years 7 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
PUK
2003
13 years 8 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
DSRT
2008
IEEE
13 years 9 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
WSC
2008
13 years 9 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...