Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBasetez oradaEkotizim uchun ochiq API
Lotin
Oʻzbek

Formal Methods in Verification

13 ta ish

  1. Synthesis of Optimal Correction Functions in the Class of Disjunctive Normal Forms

    Anvar Kabulov, Abdussattar Baizhumanov, Islambek Saymanov

    MaqolaMathematical Control Systems and AnalysisMathematics202412 iqtibos
    ABI

  2. Principle of Independence of Continuation of Functions Multivalued Logic from Coding

    Ibrokhimali Normatov

    MaqolaFormal Methods in VerificationJournal of Physics Conference Series20195 iqtibos
    ABI

  3. The Dual Characterization of Structured and Skewed Structured Singular Values

    Mutti-Ur Rehman, Jehad Alzabut, Taqwa Ateeq +2

    MaqolaFormal Methods in VerificationMathematics20223 iqtibos
    ABI

  4. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

    MaqolaComputability, Logic, AI Algorithms20241 iqtibos
    ABI

  5. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertatsiyaLogic, programming, and type systemsTSpace20000 iqtibos
    ABI

  6. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

    P. Camurati, C. Loiacono, Paolo Pasini +2

    MaqolaFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 iqtibos
    ABI

  7. Universal Linear Data Structure

    Rustam Kabulov Vosilovich

    MaqolaFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 iqtibos
    ABI

  8. Synthesis of built-in control circuits for combinational digital devices based on Boolean signals correction using polynomial codes

    Д.В. Ефанов, A. A. Grachev, D.V. Pivovarov +2

    MaqolaMathematical Control Systems and AnalysisTransport automation research20240 iqtibos
    ABI

  9. Synthesis of Self-Checking Circuits for Train Route Traffic Control at Intermediate Stations with Control of Calculations Based on Weight-Based Sum Codes

    Д.В. Ефанов, Artyom Valeryevich Pashukov, Evgenii M. Mikhailiuta +8

    MaqolaMathematical Control Systems and AnalysisComputation20240 iqtibos
    ABI

  10. Tabular method for minimization of three-variable logical functions

    Javlon Kholmatov

    MaqolaMachine Learning and AlgorithmsAIP conference proceedings20240 iqtibos
    ABI

  11. Self-Checking Discrete Device Synthesis Using Parity Code Properties and Self-Duality Boolean Functions

    Д.В. Ефанов

    MaqolaMathematical Control Systems and AnalysisTransport automation research20250 iqtibos
    ABI

  12. Algorithms for Solving Systems of Boolean Equations Based on the Transformation of Logical Expressions

    Anvar Kabulov, Alimdzhan Babadzhanov, Abdussattar Baizhumanov +2

    MaqolaPolynomial and algebraic computationMathematics20260 iqtibos
    ABI

  13. Analysis of blow-up situation in finite automata

    Siddhartha Chatterjee, Ritwika Ghosh, Aparijita Das +2

    MaqolaFormal Methods in VerificationInternational Journal of Applied Resilience and Sustainability20260 iqtibos
    ABI