Suchergebnisse - A. Letichevsky

  • Treffer 1 - 3 von 3
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Satisfiability For Symbolic Verification in VRS von A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Deductive verification of requirements for event-driven architecture von A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    The Non-Deterministic Strategy of Rewriting von A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: