Suchergebnisse - "519.686.2"

Ähnliche Schlagwörter innerhalb Ihrer Suche.
  • Treffer 1 - 3 von 3
Treffer weiter einschränken
  1. 1
    Buchumschlag

    A method for guided search and test scenarios generation in verification of formal models of asynchronous systems von Kolchin, A.V.

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Test scenarios generation based on formal model von Letichevsky, A.A., Kolchin, A.V.

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems von Levchenko, R.I., Sudakov, A.A., Pogorilyy, S.D., Boiko, Y.V.

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: