1031 search results - page 15 / 207 » Modeling and Formal Verification of Production Automation Sy... |
FDL
2003
IEEE
14 years 24 days ago
2003
IEEE
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
EDOC
2000
IEEE
13 years 12 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
GTTSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...