( en | de | ru )

 

Disambiguation of "Lidström, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Contract Based Embedded Software Design.

, and . TASE, volume 13931 of Lecture Notes in Computer Science, page 77-94. Springer, (2023)

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.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Hartmann

Effekte einer Defizienz für den Toll-like Rezeptor 2 auf den Reperfusionsschaden nach regionaler Ischämie im isolierten Mäuseherzen. Uni Frankfurt Main, (2010)
 

Other publications of authors with the same name

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements., , , and . QRS Companion, page 28-35. IEEE, (2019)Automatic Program Instrumentation for Automatic Verification., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 281-304. Springer, (2023)Deductive Verification Based Abstraction for Software Model Checking., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 7-28. Springer, (2022)Contract Based Embedded Software Design., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 77-94. Springer, (2023)Constraint-Based Contract Inference for Deductive Verification., , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)Alice in Wineland: A Fairy Tale with Contracts., , and . The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 229-242. Springer, (2022)Formal Verification in Automotive Industry: Enablers and Obstacles., , , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 139-158. Springer, (2018)An Abstract Contract Theory for Programs with Procedures., and . FASE, volume 12649 of Lecture Notes in Computer Science, page 152-171. Springer, (2021)Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report., , , and . FMICS-AVoCS, volume 10471 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)Principles of Contract Languages (Dagstuhl Seminar 22451)., , , , and . Dagstuhl Reports, 12 (11): 1-27 (November 2022)