哈特穆特·埃里希

Hartmut Ehrig

· Abiola Ajimobi Technical University Ibadan
52h 指数
14,573总引用
577发文
226i10

研究方向

Model-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering MethodologiesLogic, programming, and type systemsSemantic Web and Ontologies

数据来源: OpenAlex + ORCID + Wikidata · 数据质量: verified

登录后开启学术探索

收藏教授 / 论文 / 学科排名, 订阅研究方向更新。登录后开启这些能力。

已有账号?