Suggested Topics within your search.
Showing 61 - 78 results of 78 for search '"formal method"', query time: 0.17s Refine Results
  1. 61
    A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems
    by Hudak, S., Korecko, S., Simonak, S.
    Published 2008
    Get full text
    Article
    Save to List
    Saved in:
  2. 62
    Method of detection of http attacks on a smart home using the algebraic matching method
    by Gorbatiuk, V.O., Gorbatiuk, S.O.
    Published 2023
    Get full text
    Article
    Save to List
    Saved in:
  3. 63
    Automated design of OpenCL programs based on algebra-algorithmic approach
    Get full text
    Article
    Save to List
    Saved in:
  4. 64
    Molecular modeling in the radiation therapy. The algebraic approach
    Get full text
    Article
    Save to List
    Saved in:
  5. 65
    The completeness of the algorithm algebra with data
    Get full text
    Article
    Save to List
    Saved in:
  6. 66
    Верификация программ: состояние, проблемы, результаты. I
    Get full text
    Article
    Save to List
    Saved in:
  7. 67
    В. М. Даниленко та періодизація неоліту Південного Бугу: нові запитання до старих джерел
    Get full text
    Article
    Save to List
    Saved in:
  8. 68
    Концептуальная модель регламентной поддержки развития интеллектуального потенциала персонала предприятия
    Get full text
    Article
    Save to List
    Saved in:
  9. 69
    Verification of programs: status, problems and experimental results. I
    by Maksymets, A.N.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  10. 70
    Formal and adaptive methods and software tools of parallel programming
    Get full text
    Article
    Save to List
    Saved in:
  11. 71
    Improving performance of Python code using rewriting rules technique
    by Zhereb, K.A.
    Published 2020
    Get full text
    Article
    Save to List
    Saved in:
  12. 72
    Основные методологические проблемы внедрения корпоративных информационных систем при реорганизации предприятий республики Крым
    Get full text
    Article
    Save to List
    Saved in:
  13. 73
    Алгебраїчні шаблони вразливостей бінарного коду
    Get full text
    Article
    Save to List
    Saved in:
  14. 74
    A simple parsimony-based approach to assess ancestor-descendant relationships
    Get full text
    Article
    Save to List
    Saved in:
  15. 75
    Определение инварианта к сжатию с потерями для аудиосигналов
    Get full text
    Article
    Save to List
    Saved in:
  16. 76
    Стратегічні орієнтири рівня життя та рівня освіти як основа існування середнього класу в Україні
    Get full text
    Article
    Save to List
    Saved in:
  17. 77
    Метамодель для візуального моделювання багатовимірних предметних областей та її практичні застосування
    Get full text
    Article
    Save to List
    Saved in:
  18. 78
    REALISTIC CORRECT SYSTEMS IMPLEMENTATION
    by Goerigk, W.
    Published 2015
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search