3765 search results - page 725 / 753 » Formal Methods for Systems Engineering Behavior Models |
STACS
1999
Springer
14 years 27 days ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
GMP
2006
IEEE
14 years 2 months ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
SMA
2005
ACM
14 years 2 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
WSC
2001
13 years 10 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
ALIFE
2006
13 years 8 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...