( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Experience on applying software architecture recovery to automotive embedded systems.

, , , , , , , , и . CSMR-WCRE, стр. 379-382. IEEE Computer Society, (2014)

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)

Beate Jonas

Christina Jonas

 

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

Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project., , , и . iiWAS, стр. 512-521. ACM, (2019)A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems., , , , , , , и . EMSOFT, стр. 10:1-10:10. IEEE, (2013)Formal Verification in Automotive Industry: Enablers and Obstacles., , , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 139-158. Springer, (2018)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)CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems., , и . CyPhy, том 10107 из Lecture Notes in Computer Science, стр. 116-125. Springer, (2016)Failure Propagation Modeling Based on Contracts Theory., и . EDCC, стр. 108-119. IEEE Computer Society, (2015)Architecting Safety Supervisors for High Levels of Automated Driving., , , , , , , и . ITSC, стр. 1721-1728. IEEE, (2018)Environment-Centric Contracts for Design of Cyber-Physical Systems., и . MoDELS, том 8767 из Lecture Notes in Computer Science, стр. 218-234. Springer, (2014)Preserving Contract Satisfiability Under Non-monotonic Composition., и . FORTE, том 10854 из Lecture Notes in Computer Science, стр. 181-195. Springer, (2018)