Conceptual modelling: Towards detecting modelling errors in engineering applications

DOI10.1002/MMA.5934zbMath1445.00009OpenAlexW2995015386MaRDI QIDQ5116839

Kay Smarsly, Henrik Nilsson, Dmitrii Legatiuk, Klaus Gürlebeck

Publication date: 19 August 2020

Published in: Mathematical Methods in the Applied Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/mma.5934

zbMATH Keywords

modellingengineeringabstractiontype theoryformal approaches

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General theory of mathematical modeling (00A71)

This page was built for publication: Conceptual modelling: Towards detecting modelling errors in engineering applications