( en | de | ru )

 

Disambiguation of "Lüth, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Specification and Refinement for Cyber-Physical Systems

, , and . Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, chapter 1, Springer, Cham, (2017)
DOI: 10.1007/978-3-319-45117-6_1

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Lüth

Christoph Lüth

Paul Lüth

Anke Lüth

Klaus Lüth

 

Other publications of authors with the same name

Verified Value Chains, Innovation and Competition., , , , , , , , , and 3 other author(s). CSR, page 470-476. IEEE, (2023)Integer Overflow Detection in Hardware Designs at the Specification Level., , , and . MODELSWARD, page 41-48. SCITEPRESS, (2020)The Importance of Being Formal., , , , and . SafeCert@ETAPS, volume 238 of Electronic Notes in Theoretical Computer Science, page 57-70. Elsevier, (2008)Verification Runtime Analysis: Get the Most Out of Partial Verification., , , , and . DATE, page 873-878. IEEE, (2020)Type class polymorphism in an institutional framework, , and . Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 234-248. Springer; Berlin; http://www.springer.de, (2005)Let's Prove It Later - Verification at Different Points in Time., and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 454-468. Springer, (2019)Semantic Interrelation of Documents via an Ontology., , , , and . DeLFI, volume P-52 of LNI, page 271-282. GI, (2004)Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen., , and . Künstliche Intelligenz im Gesundheitswesen, Springer Fachmedien Wiesbaden, (2022)Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device., , , and . FDL, page 1-6. IEEE, (2022)Model-Based Specification and Refinement for Cyber-Physical Systems, , and . Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, chapter 1, Springer, Cham, (2017)