Suchergebnisse - Letichevsky, A.A.

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

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

    Veröffentlicht 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 2026
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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 2015
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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:
  7. 7
    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 2026
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: