SIGADA
13 years 9 months ago
2001 Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
POPL
14 years 5 months ago
2001 ACM ECOOP
13 years 9 months ago
2001 Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
POPL
14 years 5 months ago
2001 ACM
traction
IFIP
13 years 9 months ago
2001 Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
|