3 search results - page 1 / 1 » An Extensible User Interface for an Object-Oriented VLSI CAD... |
ICSI
1990
13 years 8 months ago
1990
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
CAD
2005
Springer
13 years 4 months ago
2005
Springer
Virtual garment design and simulation involves a combination of a large range of techniques, involving mechanical simulation, collision detection, and user interface techniques fo...