16 search results - page 2 / 4 » tase 2007 |
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...