T-CAD for the analysis and verification of processing sequences

ISSN： 0946-7076

Source： Microsystem Technologies, Vol.10, Iss.3, 2004-03, pp. : 193-198

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Approximation of involute curves for CAD-system processing

By Higuchi Fumitaka Gofuku Shuuichi Maekawa Takashi Mukundan Harish Patrikalakis Nicholas

Engineering with Computers, Vol. 23, Iss. 3, 2007-09 ,pp. : 207-214

Springer Publishing Company

Access to resources Recommend Favorite

Assembly planning with automated retrieval of assembly sequences from CAD model information

By Viganò Roberto Gómez Gilberto Osorio

Assembly Automation, Vol. 32, Iss. 4, 2012-09 ,pp. : 347-360

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Automated formal analysis and verification: an overview

By Křena Bohuslav Vojnar Tomáš

International Journal of General Systems, Vol. 42, Iss. 4, 2013-05 ,pp. : 335-365

Taylor & Francis Ltd

Access to resources Recommend Favorite

Efficient parallel algorithms for processing biological sequences

By Rajasekaran S. Ammar R. Shin D.G. Zhang G.

International Journal of Computer Applications in Technology, Vol. 26, Iss. 3, 2006-08 ,pp. : 119-125

Inderscience Publishers

Access to resources Recommend Favorite

Assertion Based Verification and Analysis of Network Processor Architectures

By Chen Xi Luo Yan Hsieh Harry Bhuyan Laxmi Balarin Felice

Design Automation for Embedded Systems, Vol. 9, Iss. 3, 2004-09 ,pp. : 163-176

Springer Publishing Company

Access to resources Recommend Favorite