( en | de | ru )

 

Disambiguierung von "Ulrich, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 2008, Proceedings

, , , und . Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andreas Ulrich

Andreas Ulrich

Ulrich Andreas

Andreas Ulrich

Andreas Ulrich

 

Weitere Publikationen von Autoren mit dem selben Namen

Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners., und . SPIN, Seite 60-69. ACM, (2017)Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study., und . ECMDA-FA, Volume 4530 von Lecture Notes in Computer Science, Seite 184-193. Springer, (2007)International Workshop on Testing Distributed Component-Based Systems., und . ACM SIGSOFT Softw. Eng. Notes, 24 (4): 43-46 (1999)Definition of the CTV prostate in CT and MRI by using CT-MRI image fusion in IMRT planning for prostate cancer, , , , und . Strahlentherapie und Onkologie : Organ der Deutschen Röntgengesellschaft ... et al, 187 (3): 183–190 (2011)Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis., , , und . HICSS, Seite 337. IEEE Computer Society, (2003)The ETSI Test Description Language TDL and its Application., , , und . MODELSWARD, Seite 601-608. SciTePress, (2014)Test suite consistency verification., , und . EWDTS, Seite 235-239. IEEE Computer Society, (2008)Verification and Testing of Concurrent Systems with Action Races., und . TestCom, Volume 176 von IFIP Conference Proceedings, Seite 261-280. Kluwer, (2000)An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners., und . Int. J. Softw. Tools Technol. Transf., 21 (3): 267-286 (2019)Using Partial-Orders for Detecting Faults in Concurrent Systems., , und . IWTCS, Volume 131 von IFIP Conference Proceedings, Seite 175-190. Kluwer, (1998)