Autor der Publikation

Risikoanalyse und FMEA von Fahr- und Überwachungsstrategien in Fahrzeugsteuergeräten

, , und . TTZ 2005, VDI-Berichte, Seite 23 – 38. (2005)88.

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Methods-Based Tools for Race, Deadlock, and Other Errors.. Encyclopedia of Parallel Computing, Springer, (2011)Logical foundations for typed object-oriented languages., und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 404-423. Chapman & Hall, (1998)Bayesian nonparametric clustering for large data sets., , , , und . Statistics and Computing, 29 (2): 203-215 (2019)Bayesian graphical models for computational network biology., , , und . BMC Bioinformatics, 19-S (3): 59-69 (2018)Issues in Bayesian Analysis of Neural Network Models., und . Neural Computation, 10 (3): 749-770 (1998)Behavioral interface specification languages., , , , und . ACM Comput. Surv., 44 (3): 16:1-16:58 (2012)The IDE as a Scriptable Information System (extended version)., , und . CoRR, (2016)Specification and verification: the Spec# experience., , , , , und . Commun. ACM, 54 (6): 81-91 (2011)Checking Well-Formedness of Pure-Method Specifications., , und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2008)Collaborative Verification and Testing with Explicit Assumptions., , und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2012)