7393 search results - page 76 / 1479 » Synthesis-for-testability using transformations |
MVA
1994
15 years 4 months ago
1994
137
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
ECEASST
2008
15 years 3 months ago
2008
: This paper deals with visual design and reasoning. A visual language with its internal representation in the form of attributed hierarchical hypergraphs is discussed. Hypergraph ...