3 search results - page 1 / 1 » An Extensible User Interface for an Object-Oriented VLSI CAD... |
83
Voted
ICSI
1990
15 years 2 months ago
1990
SPIN
2004
Springer
15 years 3 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
14 years 10 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...