( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems.

, , и . CyPhy, том 10107 из Lecture Notes in Computer Science, стр. 116-125. Springer, (2016)

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.

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)

Ingrid Jonas

Peter Jonas

 

Другие публикации лиц с тем же именем

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