PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rambow, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

, , , , , and . CoRR, (2019)

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.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Jun. -Prof. Dr. Thomas Wortmann University of Stuttgart

Supplemental Materials for: Visual Analysis of Fitness Landscapes in Architectural Design Optimization, , , , , , , and . Software, (2024)Related to: Manuscript accepted for publication in the Visual Computer journal.

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

Max-Plus-Algebra, Teil 3 (Max-Plus Algebra, Part 3)., and . Automatisierungstechnik, 54 (1): 48-50 (2006)Max-Plus-Algebra, Teil 4 (Max-Plus-Algebra, Part 4)., and . Automatisierungstechnik, 54 (2): 100-102 (2006)Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest., , , , , and . GI-Jahrestagung, volume P-275 of LNI, page 1537-1549. GI, (2017)Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain., , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 312-328. Springer, (2018)Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice., , , , , and . ISoLA, page 204-211. IEEE, (2006)Max-Plus-Algebra, Teil 2 (Max-Plus Algebra, Part 2)., and . Automatisierungstechnik, 53 (11): 566-570 (2005)Design and optimization of distributed real time systems.. Karlsruhe Institute of Technology, (2006)Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations., , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 382-398. Springer, (2018)Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development., , , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 59-75. Springer, (2019)Max-Plus-Algebra, Teil 1 (Max-Plus Algebra, Part 1)., and . Automatisierungstechnik, 53 (10): 522-524 (2005)