( 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.

Tore Nyberg

Elisabeth Nyberg

Mattias Krüger

Mattias Kreutz

Mattias Martinson

 

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

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)Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions., и . Requir. Eng., 24 (2): 231-256 (2019)VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines., , , и . SASSUR@SAFECOMP, HAL, (2013)Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report., , , и . FMICS-AVoCS, том 10471 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2017)Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving., , и . ICSRS, стр. 126-135. IEEE, (2019)Formal architecture modeling of sequential non-recursive C programs., , , и . Sci. Comput. Program., (2017)Verifying Refinement of Probabilistic Contracts Using Timed Automata., и . TASE, том 13931 из Lecture Notes in Computer Science, стр. 95-113. Springer, (2023)Improving Image Classification Robustness Using Predictive Data Augmentation., , , и . SAFECOMP Workshops, том 11094 из Lecture Notes in Computer Science, стр. 548-561. Springer, (2018)Applying Multi-level Modeling to Data Integration in Product Line Engineering., и . MoDELS (Satellite Events), том 2019 из CEUR Workshop Proceedings, стр. 235-242. CEUR-WS.org, (2017)