Autor der Publikation

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.

, , , , , , , und . TCPS, 3 (1): 12:1-12:31 (2019)

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

Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis., , , und . AAAI, AAAI Press, (2010)Exponential Concentration for Mutual Information Estimation with Application to Forests., , und . NIPS, Seite 2546-2554. (2012)Multivariate Dyadic Regression Trees for Sparse Learning Problems., und . NIPS, Seite 1441-1449. Curran Associates, Inc., (2010)High-Speed Parallel Decimal Multiplication with Redundant Internal Encodings., und . IEEE Trans. Computers, 62 (5): 956-968 (2013)Network Coding for Information Exchange between Multiple Nodes in Wireless Networks., , , und . VTC Spring, Seite 51-55. IEEE, (2008)Comparison of discrimination methods for peptide classification in tandem mass spectrometry., und . CIBCB, Seite 160-167. IEEE, (2004)A Framework for Efficient Association Rule Mining in XML Data., , , , und . Database Technologies: Concepts, Methodologies, Tools, and Applications, IGI Global, (2009)An Extended Linear Strategy Bridging the Gap between Regression and SVD Decomposition for Modeling Peptide Tandem Mass Spectrometry Data.. METMBS, Seite 491. CSREA Press, (2004)SmartCanvas: Context-inferred Interpretation of Sketches for Preparatory Design Studies., , , und . Comput. Graph. Forum, 35 (2): 37-48 (2016)Local Smoothness in Variance Reduced Optimization., , und . NIPS, Seite 2179-2187. (2015)