( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

, , , , , , , и . SC²@SYNASC, том 1804 из CEUR Workshop Proceedings, стр. 32-38. CEUR-WS.org, (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.

Tom Bienmüller

Tom Bienmüller

Heinrich Bienmüller

Tom Hanika University of Kassel

What is the $intrinsic$ dimension of your binary data? -- and how to compute it quickly, и . (2024)

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)
 

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

Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving., , , , , и . SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Satisfaction Meets Practice and Confidence., и . SC²@SYNASC, том 1804 из CEUR Workshop Proceedings, стр. 4-7. CEUR-WS.org, (2016)Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems., , , , и . EDCC Workshops, том 2078 из Communications in Computer and Information Science, стр. 5-13. Springer, (2024)Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems., , , , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 725-729. Springer, (2021)Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving., , , , и . SC-Square@FLOC, том 2189 из CEUR Workshop Proceedings, стр. 95. CEUR-WS.org, (2018)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving., , , , , , , и . SC²@SYNASC, том 1804 из CEUR Workshop Proceedings, стр. 32-38. CEUR-WS.org, (2016)