1660 search results - page 40 / 332 » A Behavior Model for Next Generation Test Systems |
100
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
ICDCSW
2000
IEEE
15 years 1 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
JUCS
2007
14 years 9 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...