Formal Method for Validation of Product Design through Knowledge Modelling
| Zugehörige Institution(en) am KIT | Institut für Informationsmanagement im Ingenieurwesen (IMI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-989-674012-2 KITopen-ID: 1000028589 |
| Erschienen in | Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Madeira, Portugal, October. Ed.: J. L. G. Dietz |
| Verlag | INSTICC Press |
| Seiten | 166-170 |