( en | de | ru )

 

Disambiguation of "Westman, Jonas"

Author of the publication

copydeleteadd this publication to your clipboard
Failure Propagation Modeling Based on Contracts Theory.

, and . EDCC, page 108-119. IEEE Computer Society, (2015)

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.

Ola Westman

Stina Westman

Eric Alexander Jonas

Asymmetrische Synthese planar- und zentral-chiraler 1,2,3-trisubstituierter und 1,3-disubstituierter Ferrocene. TU Aachen, (2007)

Christina Jonas

Beate Jonas

 

Other publications of authors with the same name

Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project., , , and . iiWAS, page 512-521. ACM, (2019)Formal Verification in Automotive Industry: Enablers and Obstacles., , , , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 139-158. Springer, (2018)A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems., , , , , , , and . EMSOFT, page 10:1-10:10. IEEE, (2013)A Hoare Logic Contract Theory: An Exercise in Denotational Semantics., and . Principled Software Development, page 119-127. Springer, (2018)Formal Architecture Modeling of Sequential C-Programs., and . FACS, volume 9539 of Lecture Notes in Computer Science, page 312-329. Springer, (2015)CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems., , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 116-125. Springer, (2016)Architecting Safety Supervisors for High Levels of Automated Driving., , , , , , , and . ITSC, page 1721-1728. IEEE, (2018)Failure Propagation Modeling Based on Contracts Theory., and . EDCC, page 108-119. IEEE Computer Society, (2015)Conditions of contracts for separating responsibilities in heterogeneous systems., and . Formal Methods Syst. Des., 52 (2): 147-192 (2018)A Reference Example on the Specification of Safety Requirements using ISO 26262., and . DECS@SAFECOMP, HAL, (2013)