Publikationen pro Jahr
Publikationen pro Jahr
- 7 Ergebnisse
Suchergebnisse
-
2022
Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation
Manjunath, V., Diwold, K. & Baunach, M. C., 17 März 2022.Publikation: Konferenzbeitrag › Abstract › Begutachtung
-
2020
Privacy-Preserving Machine Learning for Time Series Data: PhD forum abstract
Papst, F., 16 Nov. 2020, S. 813-814. 2 S.Publikation: Konferenzbeitrag › Abstract › Begutachtung
Open Access -
2017
Automotive SPICE and Cyber Security
Macher, G., Much, A., Riel, A., Messnarz, R. & Kreiner, C. J., 27 Juni 2017.Publikation: Konferenzbeitrag › Abstract › Begutachtung
-
Temperature Induced Effects on Laser Speckle in a Laser Measurement Device
Mentin, C., Brenner, E. & Priewald, R., 22 Nov. 2017.Publikation: Konferenzbeitrag › Abstract › Begutachtung
-
2016
Methods for Edge Detection on CCD or CMOS Linear Sensor Arrays enabling Subpixel Resolution
Mentin, C. & Brenner, E., 28 Juni 2016.Publikation: Konferenzbeitrag › Abstract › Begutachtung
-
Simulation-based Verification of Automotive Safety-Critical Systems based on UML
Weissnegger, R. P., Pistauer, M., Römer, K. U. & Steger, C., 29 Apr. 2016, (Angenommen/In Druck) S. 32.Publikation: Konferenzbeitrag › Abstract › Begutachtung
-
1997
Quantitative imaging of chemical phases by energy-filtered transmission electron microscopy
Grogger, W., Hofer, F. & Kothleitner, G., 1997, in: European Journal of Cell Biology. 74, S. 21-21 1 S.Publikation: Beitrag in einer Fachzeitschrift › Abstract › Begutachtung