450 search results - page 18 / 90 » Formal Methods for Industrial Products |
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
Manipulative operations of rheological objects can befound in many industrial fields such as food industry and medical product industry. Automatic operations of rheological object...
PUK
2003
13 years 8 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
ISESE
2006
IEEE
14 years 1 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...