32 search results - page 7 / 7 » Diagonal Constraints in Timed Automata: Forward Analysis of ... |
RTAS
2007
IEEE
13 years 11 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
WETICE
1997
IEEE
13 years 9 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...