Suchergebnisse - Peschanenko, V.S.

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

    Partial evaluation in insertion modeling system von Peschanenko, V.S.

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2010
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Use of methods of algebraic programming for the formal verification of legal acts von Peschanenko, V.S., Poltoratskiy, M.

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Algebraic approach to the analysis of legal documents von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.

    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

    Algebraic approach to the analysis of legal documents von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

    Veröffentlicht 2023
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    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:
  10. 10
    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:
  11. 11
    Buchumschlag

    Formal semantics and analysis of tokenomics properties von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    Formal semantics and analysis of tokenomics properties von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

    Veröffentlicht 2023
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    Constraint programming in insertion modeling system von Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.

    Veröffentlicht 2025
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: