Institut für Softwaretechnik und Programmiersprachen

Filter
Kapitel

Suchergebnisse

  • 2018

    Monitoring events that carry data

    Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (Hrsg.). Springer Verlag, Band 10457 LNCS. S. 61-102 42 S. (Lecture Notes in Computer Science; Band 10457 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung

    23 Zitate (Scopus)
  • 2001

    Views of a memory cell

    Dosch, W. & Stümpel, A., 01.12.2001, Advances in Automation, Multimedia and Video Systems, and Modern Computer Science. World Scientific and Engineering Academy and Society, S. 47-55 9 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung

    5 Zitate (Scopus)