Showing 1 - 2 results of 2 for search 'Ludmila N. Fedorchenko', query time: 0.02s Refine Results
  1. 1
    Some Methods of Applying Attributes for the Definition of Static Semantics

    Some Methods of Applying Attributes for the Definition of Static Semantics by Ludmila N. Fedorchenko, Alexander Geida

    Published 2023-05-01
    Get full text
    Article
  2. 2
    Verification of event-driven software systems using the specification language of cooperating automata objects

    Verification of event-driven software systems using the specification language of cooperating automata objects by Irina V. Afanasieva, Fedor A. Novikov, Ludmila N. Fedorchenko

    Published 2023-08-01
    Get full text
    Article

Search Tools: