Conceptual modelling: towards detecting modelling errors in engineering applications

DOI10.1002/MMA.5934zbMATH Open1445.00009OpenAlexW2995015386MaRDI QIDQ5116839FDOQ5116839

Kay Smarsly, Henrik Nilsson, D. Legatiuk, K. 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

Recommendations

• Categorical approach to modelling and to coupling of models
• Model error concepts in control design
• scientific article; zbMATH DE number 2243624
• scientific article; zbMATH DE number 1909058
• scientific article

zbMATH Keywords

engineeringmodellingabstractiontype theoryformal approaches

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5116839)