Suchergebnisse - V. Peschanenko

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

    Use of metods of algebraic programming for the formal verification of legal acts von V. Peschanenko, M. Poltorackiy

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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:
  3. 3
    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:

Suchwerkzeuge: