Treffer 1 - 3 von 3 für Suche 'Quaritsch, Thomas', Suchdauer: 0,34s Treffer weiter einschränken
  1. 1
    On the Practical Performance of Minimal Hitting Set Algorithms from a Diagnostic Perspective

    On the Practical Performance of Minimal Hitting Set Algorithms from a Diagnostic Perspective von Pill, Ingo, Quaritsch, Thomas, Wotawa, Franz


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking

    The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking von Galler, S. J., Quaritsch, T., Weiglhofer, M., Wotawa, F.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The evolution from single to pervasive smart cameras

    The evolution from single to pervasive smart cameras von Rinner, B., Winkler, T., Schriebl, W., Quaritsch, M., Wolf, W.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: