SIGADA
13 years 11 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 6 months ago
2001 ACM ECOOP
13 years 11 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 6 months ago
2001 ACM
traction
IFIP
13 years 11 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...
|