Suchergebnisse - Letichevsky, A.

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

    APS C++ User's Library von Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.

    Veröffentlicht 2008
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Simple non-deterministic rewriting in verification von Letichevsky, A., Peschanenko, V.

    Veröffentlicht 2010
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Simple non-deterministic rewriting in verification von Letichevsky, A.A., Peschanenko, V.S.

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

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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:
  5. 5
    Buchumschlag

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

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    Volltext

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    Survey on modern tools and methods of formal models verification von Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

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

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

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

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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    Insertion modeling in distributed system design von Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

    Veröffentlicht 2008
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Insertion modeling in distributed system design von Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: