Obtaining Plant Models for Formal Verification Tasks from 3D Cad Models: Which Is the Best Approach?

AuthID
 P-008-924
4
Author(s)
Lobo, E
·
Fertuzinhos, J
·
Document Type
Proceedings Paper
Year published
2013
Published
in Advanced Materials Research, ISSN: 1022-6680
Volume: 630, Pages: 283-290
Conference
2012 International Conference on Manufacturing, Manufacturing 2012, Date: 14 November 2012 through 15 November 2012, Location: Macau
Indexing
Scopus®
Crossref®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-84873173225
Source Identifiers
ISSN: 1022-6680
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service